public class BooleanFormulaCompileVisitor extends FormulaBaseVisitor<BooleanFormula>
| Modifier and Type | Field and Description |
|---|---|
static BooleanFormulaCompileVisitor |
DEFAULT |
| Constructor and Description |
|---|
BooleanFormulaCompileVisitor() |
visitAtom, visitConditional, visitExpression_op, visitExpression, visitFactor, visitIdentifier, visitNumber, visitParameter, visitScientific, visitTerm_op, visitTerm, visitVariablepublic static final BooleanFormulaCompileVisitor DEFAULT
public BooleanFormula visitPredicate_expression(FormulaParser.Predicate_expressionContext ctx)
FormulaBaseVisitorFormulaParser.predicate_expression().
The default implementation returns the result of calling
#visitChildren on ctx.
visitPredicate_expression in interface FormulaVisitor<BooleanFormula>visitPredicate_expression in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitPredicate_term(FormulaParser.Predicate_termContext ctx)
FormulaBaseVisitorFormulaParser.predicate_term().
The default implementation returns the result of calling
#visitChildren on ctx.
visitPredicate_term in interface FormulaVisitor<BooleanFormula>visitPredicate_term in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitPredicate_factor(FormulaParser.Predicate_factorContext ctx)
FormulaBaseVisitorFormulaParser.predicate_factor().
The default implementation returns the result of calling
#visitChildren on ctx.
visitPredicate_factor in interface FormulaVisitor<BooleanFormula>visitPredicate_factor in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitPredicate_atom(FormulaParser.Predicate_atomContext ctx)
FormulaBaseVisitorFormulaParser.predicate_atom().
The default implementation returns the result of calling
#visitChildren on ctx.
visitPredicate_atom in interface FormulaVisitor<BooleanFormula>visitPredicate_atom in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitLess(FormulaParser.LessContext ctx)
FormulaBaseVisitorFormulaParser.less().
The default implementation returns the result of calling
#visitChildren on ctx.
visitLess in interface FormulaVisitor<BooleanFormula>visitLess in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitGreater(FormulaParser.GreaterContext ctx)
FormulaBaseVisitorFormulaParser.greater().
The default implementation returns the result of calling
#visitChildren on ctx.
visitGreater in interface FormulaVisitor<BooleanFormula>visitGreater in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitLess_equal(FormulaParser.Less_equalContext ctx)
FormulaBaseVisitorFormulaParser.less_equal().
The default implementation returns the result of calling
#visitChildren on ctx.
visitLess_equal in interface FormulaVisitor<BooleanFormula>visitLess_equal in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitGreater_equal(FormulaParser.Greater_equalContext ctx)
FormulaBaseVisitorFormulaParser.greater_equal().
The default implementation returns the result of calling
#visitChildren on ctx.
visitGreater_equal in interface FormulaVisitor<BooleanFormula>visitGreater_equal in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitEqual(FormulaParser.EqualContext ctx)
FormulaBaseVisitorFormulaParser.equal().
The default implementation returns the result of calling
#visitChildren on ctx.
visitEqual in interface FormulaVisitor<BooleanFormula>visitEqual in class FormulaBaseVisitor<BooleanFormula>ctx - the parse treepublic BooleanFormula visitNot_equal(FormulaParser.Not_equalContext ctx)
FormulaBaseVisitorFormulaParser.not_equal().
The default implementation returns the result of calling
#visitChildren on ctx.
visitNot_equal in interface FormulaVisitor<BooleanFormula>visitNot_equal in class FormulaBaseVisitor<BooleanFormula>ctx - the parse tree