|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |