|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<IntComparisonFormula.Operator>
kodkod.ast.IntComparisonFormula.Operator
public static enum IntComparisonFormula.Operator
Represents a binary comarison operator: =, < , >, <=, >=.
Enum Constant Summary | |
---|---|
EQ
`=' operator |
|
GT
`>' operator |
|
GTE
`>=' operator |
|
LT
`<' operator |
|
LTE
`<=' operator |
Method Summary | |
---|---|
abstract boolean |
apply(int i0,
int i1)
Returns the result of comparing the given integers using this comparison operator. |
static IntComparisonFormula.Operator |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static IntComparisonFormula.Operator[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final IntComparisonFormula.Operator EQ
public static final IntComparisonFormula.Operator LT
public static final IntComparisonFormula.Operator LTE
public static final IntComparisonFormula.Operator GT
public static final IntComparisonFormula.Operator GTE
Method Detail |
---|
public static final IntComparisonFormula.Operator[] values()
for(IntComparisonFormula.Operator c : IntComparisonFormula.Operator.values()) System.out.println(c);
public static IntComparisonFormula.Operator valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified namepublic abstract boolean apply(int i0, int i1)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |