|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BooleanAccumulator | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
Uses of BooleanAccumulator in kodkod.engine.bool |
---|
Methods in kodkod.engine.bool that return BooleanAccumulator | |
---|---|
static BooleanAccumulator |
BooleanAccumulator.treeGate(Operator.Nary op)
Returns a tree based implementation of BooleanAccumulator. |
static BooleanAccumulator |
BooleanAccumulator.treeGate(Operator.Nary op,
BooleanValue[] inputs)
Returns a tree based implementation of BooleanAccumulator, initialized with the given inputs. |
Methods in kodkod.engine.bool with parameters of type BooleanAccumulator | |
---|---|
BooleanValue |
BooleanFactory.accumulate(BooleanAccumulator g)
Converts the given accumulator into an immutable boolean value and adds it to this.components. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |