|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BooleanFactory | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
Uses of BooleanFactory in kodkod.engine.bool |
---|
Methods in kodkod.engine.bool that return BooleanFactory | |
---|---|
static BooleanFactory |
BooleanFactory.constantFactory(Options options)
Returns a BooleanFactory with no variables; the returned factory can manipulate only constants. |
BooleanFactory |
Int.factory()
Returns this.factory |
BooleanFactory |
BooleanMatrix.factory()
Returns the factory used to construct all the non-constant entries in this matrix. |
static BooleanFactory |
BooleanFactory.factory(int numVars,
Options options)
Returns a boolean factory, initialized to contain the given number of boolean variables. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |