Uses of Class
kodkod.ast.Relation

Packages that use Relation
kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. 
kodkod.ast.visitor Contains visitors for Kodkod formulas, expressions, and integer expressions. 
kodkod.engine Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. 
kodkod.engine.config Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. 
kodkod.engine.fol2sat Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. 
kodkod.instance Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. 
 

Uses of Relation in kodkod.ast
 

Methods in kodkod.ast that return Relation
static Relation Relation.binary(java.lang.String name)
          Returns a new binary relation with the given name.
 Relation RelationPredicate.TotalOrdering.first()
          Returns the relation representing the first element in the ordering imposed by this.relation.
 Relation RelationPredicate.TotalOrdering.last()
          Returns the relation representing the last element in the ordering imposed by this.relation.
static Relation Relation.nary(java.lang.String name, int arity)
          Returns a new relation with the given name and arity.
 Relation RelationPredicate.TotalOrdering.ordered()
          Returns the relation representing the atoms which are ordered by this.relation.
 Relation RelationPredicate.relation()
          Returns the relation to which this predicate applies.
static Relation Relation.ternary(java.lang.String name)
          Returns a ternary relation with the specified name.
static Relation Relation.unary(java.lang.String name)
          Returns a new unary relation with the given name.
 

Methods in kodkod.ast with parameters of type Relation
 Formula Relation.totalOrder(Relation ordered, Relation first, Relation last)
          Returns a formula stating that this relation imposes a total ordering over the atoms in the set ordered, and that thet first and last elements in the ordering are given by the relations first and last.
 

Uses of Relation in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor with parameters of type Relation
 void VoidVisitor.visit(Relation relation)
          Visits the given relation.
 E ReturnVisitor.visit(Relation relation)
          Visits the given relation and returns the result.
 void AbstractVoidVisitor.visit(Relation relation)
          Does nothing.
 Expression AbstractReplacer.visit(Relation relation)
          Calls lookup(relation) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(Relation relation)
          Returns FALSE.
 java.util.Set<T> AbstractCollector.visit(Relation relation)
          Returns Collections.EMPTY_SET
 

Uses of Relation in kodkod.engine
 

Methods in kodkod.engine with parameters of type Relation
 int Cost.edgeCost(Relation relation)
          Returns the cost of one edge in the relational value of the given Relation instance.
 

Uses of Relation in kodkod.engine.config
 

Methods in kodkod.engine.config with parameters of type Relation
 void Reporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 void ConsoleReporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 void AbstractReporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 

Uses of Relation in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat with parameters of type Relation
 IntSet Translation.primaryVariables(Relation relation)
          Returns the set of primary variable literals that represent the tuples in the given relation.
 

Uses of Relation in kodkod.instance
 

Methods in kodkod.instance that return types with arguments of type Relation
 java.util.Map<Relation,TupleSet> Bounds.lowerBounds()
          Returns a map view of this.lowerBound.
 java.util.Set<Relation> Instance.relations()
          Returns the relations mapped by this instance.
 java.util.Set<Relation> Bounds.relations()
          Returns the set of all relations bound by this Bounds.
 java.util.Map<Relation,TupleSet> Instance.relationTuples()
          Returns a map view of Relation<:this.tuples.
 java.util.Map<Relation,TupleSet> Bounds.upperBounds()
          Returns a map view of this.upperBound.
 

Methods in kodkod.instance with parameters of type Relation
 void Instance.add(Relation relation, TupleSet s)
          Maps the given relation to the given tuple set.
 void Bounds.bound(Relation r, TupleSet upper)
          Makes the specified tupleset the upper bound on the contents of the given relation.
 void Bounds.bound(Relation r, TupleSet lower, TupleSet upper)
          Sets the lower and upper bounds for the given relation.
 void Bounds.boundExactly(Relation r, TupleSet tuples)
          Sets both the lower and upper bounds of the given relation to the given set of tuples.
 boolean Instance.contains(Relation relation)
          Returns true if this instance maps the given relation to a set of tuples; otherwise returns false.
 TupleSet Bounds.lowerBound(Relation r)
          Returns the set of tuples that r must contain (the lower bound on r's contents).
 TupleSet Instance.tuples(Relation relation)
          Returns the set of tuples assigned to the given relation by this Instance.
 TupleSet Bounds.upperBound(Relation r)
          Returns the set of tuples that r may contain (the upper bound on r's contents).