|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |