public class FormulaTraverseVisitor<T> extends java.lang.Object implements FormulaVisitor1<T>, BooleanFormulaVisitor1<T>
Constructor and Description |
---|
FormulaTraverseVisitor() |
Modifier and Type | Method and Description |
---|---|
protected T |
result() |
T |
traverse(BooleanFormulaAtomicBinary f) |
T |
traverse(BooleanFormulaBinary f) |
T |
traverse(FormulaBinary f) |
T |
traverse(FormulaConditional f) |
T |
traverse(FormulaFunc f) |
T |
visitAdd(FormulaAdd f) |
T |
visitAND(BooleanFormulaAND f) |
T |
visitConditional(FormulaConditional f) |
T |
visitDiv(FormulaDiv f) |
T |
visitEqual(BooleanFormulaEqual f) |
T |
visitFALSE(BooleanFormula f) |
T |
visitFunc(FormulaFunc f) |
T |
visitLess(BooleanFormulaLess f) |
T |
visitLessEqual(BooleanFormulaLessEqual f) |
T |
visitMul(FormulaMul f) |
T |
visitNonDataVar(FormulaNonDataVar f) |
T |
visitNotEqual(BooleanFormulaNotEqual f) |
T |
visitNum(FormulaNum f) |
T |
visitOR(BooleanFormulaOR f) |
T |
visitPow(FormulaPow f) |
T |
visitSub(FormulaSub f) |
T |
visitTRUE(BooleanFormula f) |
T |
visitVar(FormulaVar f) |
protected T result()
public T traverse(BooleanFormulaBinary f)
public T traverse(BooleanFormulaAtomicBinary f)
public T traverse(FormulaBinary f)
public T traverse(FormulaFunc f)
public T traverse(FormulaConditional f)
public T visitTRUE(BooleanFormula f)
visitTRUE
in interface BooleanFormulaVisitor1<T>
public T visitFALSE(BooleanFormula f)
visitFALSE
in interface BooleanFormulaVisitor1<T>
public T visitNum(FormulaNum f)
visitNum
in interface FormulaVisitor1<T>
public T visitVar(FormulaVar f)
visitVar
in interface FormulaVisitor1<T>
public T visitNonDataVar(FormulaNonDataVar f)
visitNonDataVar
in interface FormulaVisitor1<T>
public T visitAND(BooleanFormulaAND f)
visitAND
in interface BooleanFormulaVisitor1<T>
public T visitOR(BooleanFormulaOR f)
visitOR
in interface BooleanFormulaVisitor1<T>
public T visitEqual(BooleanFormulaEqual f)
visitEqual
in interface BooleanFormulaVisitor1<T>
public T visitLess(BooleanFormulaLess f)
visitLess
in interface BooleanFormulaVisitor1<T>
public T visitLessEqual(BooleanFormulaLessEqual f)
visitLessEqual
in interface BooleanFormulaVisitor1<T>
public T visitNotEqual(BooleanFormulaNotEqual f)
visitNotEqual
in interface BooleanFormulaVisitor1<T>
public T visitAdd(FormulaAdd f)
visitAdd
in interface FormulaVisitor1<T>
public T visitSub(FormulaSub f)
visitSub
in interface FormulaVisitor1<T>
public T visitMul(FormulaMul f)
visitMul
in interface FormulaVisitor1<T>
public T visitDiv(FormulaDiv f)
visitDiv
in interface FormulaVisitor1<T>
public T visitPow(FormulaPow f)
visitPow
in interface FormulaVisitor1<T>
public T visitFunc(FormulaFunc f)
visitFunc
in interface FormulaVisitor1<T>
public T visitConditional(FormulaConditional f)
visitConditional
in interface FormulaVisitor1<T>