|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BooleanVariable | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
Uses of BooleanVariable in kodkod.engine.bool |
---|
Methods in kodkod.engine.bool that return BooleanVariable | |
---|---|
BooleanVariable |
BooleanFactory.variable(int label)
Returns the variable with the given label. |
Methods in kodkod.engine.bool with parameters of type BooleanVariable | |
---|---|
T |
BooleanVisitor.visit(BooleanVariable variable,
A arg)
Visits the variable and returns the result. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |