Uses of Class
kodkod.ast.RelationPredicate

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

Uses of RelationPredicate in kodkod.ast
 

Subclasses of RelationPredicate in kodkod.ast
static class RelationPredicate.Acyclic
          Represents the acyclic predicate.
static class RelationPredicate.Function
          Represents the function predicate.
static class RelationPredicate.TotalOrdering
          Represents the total ordering predicate.
 

Uses of RelationPredicate in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type RelationPredicate
 void VoidVisitor.visit(RelationPredicate predicate)
          Visits the given relation predicate.
 F ReturnVisitor.visit(RelationPredicate predicate)
          Visits the given relation predicate and returns the result.
 void AbstractVoidVisitor.visit(RelationPredicate pred)
          Visits the children of the predicate if this.visited(pred) returns false.
 Formula AbstractReplacer.visit(RelationPredicate pred)
          Calls lookup(pred) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(RelationPredicate predicate)
          Calls lookup(predicate) and returns the cached value, if any.
 java.util.Set<T> AbstractCollector.visit(RelationPredicate pred)
          Calls lookup(predicate) and returns the cached value, if any.