Uses of Class
kodkod.engine.bool.Operator.Nary

Packages that use Operator.Nary

Package	Description
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

Modifier and Type	Field and Description
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

Modifier and Type	Method and Description
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.
Operator.Nary	BooleanAccumulator.op() Returns the operator for this accumulator.

Methods in kodkod.engine.bool with parameters of type Operator.Nary

Modifier and Type	Method and Description
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.