|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |