|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.engine.bool.Operator
public abstract class Operator
Operator associated with a boolean value
.
AND.ordinal = 0 && OR.ordinal = 1 && ITE.ordinal = 2 &&
NOT.ordinal = 2 && VAR.ordinal = 4 && CONST.ordinal = 5 |
ordinal: [0..5] |
Nested Class Summary | |
---|---|
static class |
Operator.Nary
An n-ary operator, where n>=2 |
Field Summary | |
---|---|
static Operator.Nary |
AND
N-ary AND operator. |
static Operator |
CONST
Zero-arity constant operator. |
static kodkod.engine.bool.Operator.Ternary |
ITE
Ternary if-then-else operator. |
static Operator |
NOT
Unary negation operator. |
static Operator.Nary |
OR
N-ary OR operator. |
static Operator |
VAR
Zero-arity variable operator. |
Method Summary | |
---|---|
int |
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. |
int |
ordinal()
Returns the ordinal of this operator constant. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final Operator.Nary AND
AND
operator.
public static final Operator.Nary OR
OR
operator.
public static final kodkod.engine.bool.Operator.Ternary ITE
if-then-else
operator.
public static final Operator NOT
negation
operator.
public static final Operator VAR
variable
operator.
public static final Operator CONST
constant
operator.
Method Detail |
---|
public final int ordinal()
public int compareTo(Operator op)
compareTo
in interface java.lang.Comparable<Operator>
java.lang.NullPointerException
- - op = null
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |