public class FormulaUnifyVisitor extends java.lang.Object implements FormulaVisitor1<Formula>, BooleanFormulaVisitor1<BooleanFormula>
| Constructor and Description |
|---|
FormulaUnifyVisitor() |
public BooleanFormula visitTRUE(BooleanFormula booleanFormulaTRUE)
visitTRUE in interface BooleanFormulaVisitor1<BooleanFormula>public BooleanFormula visitFALSE(BooleanFormula booleanFormulaFALSE)
visitFALSE in interface BooleanFormulaVisitor1<BooleanFormula>public BooleanFormula visitAND(BooleanFormulaAND booleanFormulaAND)
visitAND in interface BooleanFormulaVisitor1<BooleanFormula>public BooleanFormula visitOR(BooleanFormulaOR booleanFormulaOR)
visitOR in interface BooleanFormulaVisitor1<BooleanFormula>public BooleanFormula visitEqual(BooleanFormulaEqual booleanFormulaEqual)
visitEqual in interface BooleanFormulaVisitor1<BooleanFormula>public BooleanFormula visitLess(BooleanFormulaLess booleanFormulaLess)
visitLess in interface BooleanFormulaVisitor1<BooleanFormula>public BooleanFormula visitLessEqual(BooleanFormulaLessEqual booleanFormulaLessEqual)
visitLessEqual in interface BooleanFormulaVisitor1<BooleanFormula>public BooleanFormula visitNotEqual(BooleanFormulaNotEqual booleanFormulaNotEqual)
visitNotEqual in interface BooleanFormulaVisitor1<BooleanFormula>public Formula visitAdd(FormulaAdd formulaAdd)
visitAdd in interface FormulaVisitor1<Formula>public Formula visitSub(FormulaSub formulaSub)
visitSub in interface FormulaVisitor1<Formula>public Formula visitMul(FormulaMul formulaMul)
visitMul in interface FormulaVisitor1<Formula>public Formula visitDiv(FormulaDiv formulaDiv)
visitDiv in interface FormulaVisitor1<Formula>public Formula visitPow(FormulaPow formulaPow)
visitPow in interface FormulaVisitor1<Formula>public Formula visitFunc(FormulaFunc formulaFunc)
visitFunc in interface FormulaVisitor1<Formula>public Formula visitConditional(FormulaConditional formulaConditional)
visitConditional in interface FormulaVisitor1<Formula>public Formula visitVar(FormulaVar formulaVar)
visitVar in interface FormulaVisitor1<Formula>public Formula visitNonDataVar(FormulaNonDataVar formulaNoDataVar)
visitNonDataVar in interface FormulaVisitor1<Formula>public Formula visitNum(FormulaNum formulaNum)
visitNum in interface FormulaVisitor1<Formula>