kodkod.ast
Enum RelationPredicate.Name

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

public static enum RelationPredicate.Name
extends java.lang.Enum<RelationPredicate.Name>

The name of the predicate.


Enum Constant Summary
ACYCLIC
          Acyclic predicate.
FUNCTION
          Function (total or partial) predicate.
TOTAL_ORDERING
          Total ordering predicate.
 
Method Summary
static RelationPredicate.Name valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static RelationPredicate.Name[] 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

FUNCTION

public static final RelationPredicate.Name FUNCTION
Function (total or partial) predicate.


ACYCLIC

public static final RelationPredicate.Name ACYCLIC
Acyclic predicate.


TOTAL_ORDERING

public static final RelationPredicate.Name TOTAL_ORDERING
Total ordering predicate.

Method Detail

values

public static final RelationPredicate.Name[] 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(RelationPredicate.Name c : RelationPredicate.Name.values())
        System.out.println(c);

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

valueOf

public static RelationPredicate.Name 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