|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Operator.Nary | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
Uses of Operator.Nary in kodkod.engine.bool |
---|
Fields in kodkod.engine.bool declared as Operator.Nary | |
---|---|
static Operator.Nary |
Operator.AND
N-ary AND operator. |
static Operator.Nary |
Operator.OR
N-ary OR operator. |
Methods in kodkod.engine.bool that return Operator.Nary | |
---|---|
abstract Operator.Nary |
Operator.Nary.complement()
Returns the binary operator whose identity and short circuit values are the negation of this operator's identity and short circuit. |
Operator.Nary |
MultiGate.op()
Returns the operator used to combine the input variables of this connective gate. |
Methods in kodkod.engine.bool with parameters of type Operator.Nary | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |