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

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.