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