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>