kodkod.engine.bool
Interface BooleanVisitor<T,A>


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.

Author:
Emina Torlak

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

visit

T visit(MultiGate multigate,
        A arg)
Visits the multigate and returns the result.

Returns:
the result of visiting the given multigate

visit

T visit(ITEGate ite,
        A arg)
Visits the if-then-else gate and returns the result.

Returns:
the result of visiting the given ITEGate

visit

T visit(NotGate negation,
        A arg)
Visits the inverter and returns the result.

Returns:
the result of visiting the given inverter

visit

T visit(BooleanVariable variable,
        A arg)
Visits the variable and returns the result.

Returns:
the result of visiting the given variable