|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<BinaryExpression.Operator>
kodkod.ast.BinaryExpression.Operator
public static enum BinaryExpression.Operator
A binary expression operator: union, difference, intersection, override, join, and product.
Enum Constant Summary | |
---|---|
DIFFERENCE
Relational difference (-) operator. |
|
INTERSECTION
Relational intersection (&) operator. |
|
JOIN
Relational join (.) operator. |
|
OVERRIDE
Relational override (++) operator. |
|
PRODUCT
Relational product (->) operator. |
|
UNION
Relational union (+) operator. |
Method Summary | |
---|---|
static BinaryExpression.Operator |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static BinaryExpression.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 BinaryExpression.Operator DIFFERENCE
public static final BinaryExpression.Operator UNION
public static final BinaryExpression.Operator INTERSECTION
public static final BinaryExpression.Operator OVERRIDE
public static final BinaryExpression.Operator JOIN
public static final BinaryExpression.Operator PRODUCT
Method Detail |
---|
public static final BinaryExpression.Operator[] values()
for(BinaryExpression.Operator c : BinaryExpression.Operator.values()) System.out.println(c);
public static BinaryExpression.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 name
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |