kodkod.ast
Enum IntComparisonFormula.Operator

java.lang.Object
  extended by java.lang.Enum<IntComparisonFormula.Operator>
      extended by kodkod.ast.IntComparisonFormula.Operator
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<IntComparisonFormula.Operator>
Enclosing class:
IntComparisonFormula

public static enum IntComparisonFormula.Operator
extends java.lang.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

EQ

public static final IntComparisonFormula.Operator EQ
`=' operator


LT

public static final IntComparisonFormula.Operator LT
`<' operator


LTE

public static final IntComparisonFormula.Operator LTE
`<=' operator


GT

public static final IntComparisonFormula.Operator GT
`>' operator


GTE

public static final IntComparisonFormula.Operator GTE
`>=' operator

Method Detail

values

public static final IntComparisonFormula.Operator[] values()
Returns an array containing the constants of this enum type, in the order they're declared. This method may be used to iterate over the constants as follows:
for(IntComparisonFormula.Operator c : IntComparisonFormula.Operator.values())
        System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they're declared

valueOf

public static IntComparisonFormula.Operator valueOf(java.lang.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:
java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

apply

public abstract boolean apply(int i0,
                              int i1)
Returns the result of comparing the given integers using this comparison operator.

Returns:
i0 op i1