Namespace GCore.Antlr.Grammers.Propcalc

Classes

propcalcBaseListener

This class provides an empty implementation of IpropcalcListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

propcalcBaseVisitor<Result>

This class provides an empty implementation of IpropcalcVisitor<Result>, which can be extended to create a visitor which only needs to handle a subset of the available methods.

propcalcLexer

propcalcParser

propcalcParser.AtomContext

propcalcParser.AtomsContext

propcalcParser.EquivContext

propcalcParser.ExpressionContext

propcalcParser.ImpliesContext

propcalcParser.PropositionContext

propcalcParser.RelExpressionContext

propcalcParser.VariableContext

Interfaces

IpropcalcListener

This interface defines a complete listener for a parse tree produced by propcalcParser.

IpropcalcVisitor<Result>

This interface defines a complete generic visitor for a parse tree produced by propcalcParser.