Uses of Class
kodkod.engine.bool.Operator

Packages that use Operator
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
 

Uses of Operator in kodkod.engine.bool
 

Subclasses of Operator in kodkod.engine.bool
static class Operator.Nary
          An n-ary operator, where n>=2
 

Fields in kodkod.engine.bool declared as Operator
static Operator Operator.CONST
          Zero-arity constant operator.
static Operator Operator.NOT
          Unary negation operator.
static Operator Operator.VAR
          Zero-arity variable operator.
 

Methods in kodkod.engine.bool that return Operator
 Operator NotGate.op()
          Returns Operator.NOT.
 Operator ITEGate.op()
          Returns Operator.ITE.
 Operator BooleanVariable.op()
          Returns the VAR operator.
abstract  Operator BooleanValue.op()
          Returns the operator representing the function computed by this gate.
 Operator BooleanConstant.op()
          Returns Operator.CONST.
 Operator BooleanAccumulator.op()
          Returns the operator for this accumulator.
 

Methods in kodkod.engine.bool with parameters of type Operator
 int Operator.compareTo(Operator op)
          Returns an integer i such that i < 0 if this.ordinal < op.ordinal, i = 0 when this.ordinal = op.ordinal, and i > 0 when this.ordinal > op.ordinal.