Uses of Class
kodkod.ast.RelationPredicate.Name

Packages that use RelationPredicate.Name
kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. 
 

Uses of RelationPredicate.Name in kodkod.ast
 

Methods in kodkod.ast that return RelationPredicate.Name
abstract  RelationPredicate.Name RelationPredicate.name()
          Returns the name of this predicate.
 RelationPredicate.Name RelationPredicate.Acyclic.name()
          Returns the name of this predicate.
 RelationPredicate.Name RelationPredicate.Function.name()
          Returns the name of this predicate.
 RelationPredicate.Name RelationPredicate.TotalOrdering.name()
          Returns the name of this predicate.
static RelationPredicate.Name RelationPredicate.Name.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static RelationPredicate.Name[] RelationPredicate.Name.values()
          Returns an array containing the constants of this enum type, in the order they're declared.