kodkod.ast
Class RelationPredicate.Acyclic

java.lang.Object
  extended by kodkod.ast.Formula
      extended by kodkod.ast.RelationPredicate
          extended by kodkod.ast.RelationPredicate.Acyclic
All Implemented Interfaces:
Node
Enclosing class:
RelationPredicate

public static final class RelationPredicate.Acyclic
extends RelationPredicate

Represents the acyclic predicate. The predicate states that the given relation is acyclic.

Author:
Emina Torlak
invariant:
name = ACYCLIC
children = relation
specfield:
relation: Relation

Nested Class Summary
 
Nested classes/interfaces inherited from class kodkod.ast.RelationPredicate
RelationPredicate.Acyclic, RelationPredicate.Function, RelationPredicate.Name, RelationPredicate.TotalOrdering
 
Field Summary
 
Fields inherited from class kodkod.ast.Formula
FALSE, TRUE
 
Method Summary
 RelationPredicate.Name name()
          Returns the name of this predicate.
 Formula toConstraints()
          Turns this predicate into explicit constraiants.
 java.lang.String toString()
          Returns the string representation of this predicate.
 
Methods inherited from class kodkod.ast.RelationPredicate
accept, accept, relation
 
Methods inherited from class kodkod.ast.Formula
and, compose, comprehension, forAll, forSome, iff, implies, not, or, quantify, thenElse, thenElse
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

name

public RelationPredicate.Name name()
Returns the name of this predicate.

Specified by:
name in class RelationPredicate
Returns:
ACYCLIC

toConstraints

public Formula toConstraints()
Turns this predicate into explicit constraiants.

Specified by:
toConstraints in class RelationPredicate
Returns:
{f: Formula - RelationPredicate | f <=> this }

toString

public java.lang.String toString()
Returns the string representation of this predicate.

Overrides:
toString in class java.lang.Object
Returns:
string representation of this predicate