de.stups.probkodkod

Class RelationInfo

java.lang.Object

de.stups.probkodkod.RelationInfo

public class RelationInfo
extends java.lang.Object

This class contains various information about a relation that is declared for a problem.

Constructor Summary

Constructors

Constructor and Description
RelationInfo(java.lang.String id, Relation relation, AbstractBound bound, TupleType type)

Method Summary

Methods

Modifier and Type	Method and Description
AbstractBound	getBound()
java.lang.String	getId()
Relation	getRelation()
TupleType	getTupleType()
boolean	isVariable()
void	setBound(Bounds bounds) Use the abstract bound of the relation to add a bound to the bounds of a concrete Kodkod solver call.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RelationInfo

public RelationInfo(java.lang.String id,
            Relation relation,
            AbstractBound bound,
            TupleType type)

Method Detail

getId

public java.lang.String getId()

Returns:

the ID of the relation, never null

getRelation

public Relation getRelation()

Returns:

the relation itself, never null

getBound

public AbstractBound getBound()

Returns:

the bound that belongs to the relation to constrain its values, never null

See Also:

AbstractBound

isVariable

public boolean isVariable()

Returns:

true iff the relation is a variable, this is exactly the case if its bound is exact

getTupleType

public TupleType getTupleType()

Returns:

the n types of this n-ary relation, never null, all elements are not null.

setBound

public void setBound(Bounds bounds)

Use the abstract bound of the relation to add a bound to the bounds of a concrete Kodkod solver call. The bound constrains the possible values of the relation for that call. In case of a constant, it exactly sets its values, in case of a variable it types the relations by allowing only the atoms

Parameters:

bounds -

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object