public interface BooleanFormulaVisitor1<T>
| Modifier and Type | Method and Description |
|---|---|
T |
visitAND(BooleanFormulaAND booleanFormulaAND) |
T |
visitEqual(BooleanFormulaEqual booleanFormulaEqual) |
T |
visitFALSE(BooleanFormula booleanFormula) |
T |
visitLess(BooleanFormulaLess booleanFormulaLess) |
T |
visitLessEqual(BooleanFormulaLessEqual booleanFormulaLessEqual) |
T |
visitNotEqual(BooleanFormulaNotEqual booleanFormulaNotEqual) |
T |
visitOR(BooleanFormulaOR booleanFormulaOR) |
T |
visitTRUE(BooleanFormula booleanFormula) |
T visitAND(BooleanFormulaAND booleanFormulaAND)
T visitOR(BooleanFormulaOR booleanFormulaOR)
T visitEqual(BooleanFormulaEqual booleanFormulaEqual)
T visitLess(BooleanFormulaLess booleanFormulaLess)
T visitLessEqual(BooleanFormulaLessEqual booleanFormulaLessEqual)
T visitNotEqual(BooleanFormulaNotEqual booleanFormulaNotEqual)
T visitTRUE(BooleanFormula booleanFormula)
T visitFALSE(BooleanFormula booleanFormula)