Uses of Class
kodkod.engine.bool.ITEGate

Packages that use ITEGate
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
 

Uses of ITEGate in kodkod.engine.bool
 

Methods in kodkod.engine.bool with parameters of type ITEGate
 T BooleanVisitor.visit(ITEGate ite, A arg)
          Visits the if-then-else gate and returns the result.