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>