|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface BooleanVisitor<T,A>
Visits boolean formulas
.
In addition to passing themselves as the argument to the visitor,
the boolean values also pass along satelite information of type A.
Method Summary | |
---|---|
T |
visit(BooleanVariable variable,
A arg)
Visits the variable and returns the result. |
T |
visit(ITEGate ite,
A arg)
Visits the if-then-else gate and returns the result. |
T |
visit(MultiGate multigate,
A arg)
Visits the multigate and returns the result. |
T |
visit(NotGate negation,
A arg)
Visits the inverter and returns the result. |
Method Detail |
---|
T visit(MultiGate multigate, A arg)
T visit(ITEGate ite, A arg)
T visit(NotGate negation, A arg)
T visit(BooleanVariable variable, A arg)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |