Package org.xcsp.common
Enum Types.TypeOperator
- java.lang.Object
-
- java.lang.Enum<Types.TypeOperator>
-
- org.xcsp.common.Types.TypeOperator
-
- All Implemented Interfaces:
Serializable
,Comparable<Types.TypeOperator>
- Enclosing class:
- Types
public static enum Types.TypeOperator extends Enum<Types.TypeOperator>
The enum type specifying the different types of operators that can be used in elements.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
isSet()
Returns true iff the constant corresponds to a set operator.Types.TypeOperatorRel
toRel()
Returns the corresponding specialized TypeOperatorRel for this constant, or null if this constant is a set operator,.static Types.TypeOperator
valOf(String s)
static Types.TypeOperator
valueOf(String name)
Returns the enum constant of this type with the specified name.static Types.TypeOperator[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
LT
public static final Types.TypeOperator LT
-
LE
public static final Types.TypeOperator LE
-
GE
public static final Types.TypeOperator GE
-
GT
public static final Types.TypeOperator GT
-
SUBSET
public static final Types.TypeOperator SUBSET
-
SUBSEQ
public static final Types.TypeOperator SUBSEQ
-
SUPSEQ
public static final Types.TypeOperator SUPSEQ
-
SUPSET
public static final Types.TypeOperator SUPSET
-
-
Method Detail
-
values
public static Types.TypeOperator[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (Types.TypeOperator c : Types.TypeOperator.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static Types.TypeOperator valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
valOf
public static Types.TypeOperator valOf(String s)
-
toRel
public Types.TypeOperatorRel toRel()
Returns the corresponding specialized TypeOperatorRel for this constant, or null if this constant is a set operator,.
-
isSet
public boolean isSet()
Returns true iff the constant corresponds to a set operator.
-
-