public interface BooleanFormulaVisitor<T>
Modifier and Type | Method and Description |
---|---|
T |
visitConjunction(Conjunction fm) |
T |
visitConstant(BooleanConstant fm) |
T |
visitDisjunction(Disjunction fm) |
T |
visitNegation(Negation fm) |
T |
visitVariable(BooleanVariable fm) |
T visitConstant(BooleanConstant fm)
T visitVariable(BooleanVariable fm)
T visitDisjunction(Disjunction fm)
T visitConjunction(Conjunction fm)