de.stups.probkodkod.bounds

Class TypeBound

java.lang.Object

de.stups.probkodkod.bounds.TypeBound

All Implemented Interfaces:

AbstractBound

public class TypeBound
extends java.lang.Object
implements AbstractBound

This bound is used to define which values a type relation can have. It is basically the same as the ExactBound, but it takes an IntegerIntervall in the constructor instead of a TupleSet. This is so because when the bounds for the type are created, the universe is not yet created because its final size is unknown. As soon as the universe has been created, createTupleSets(Universe) must be called before using this class.

Constructor Summary

Constructors

Constructor and Description
TypeBound(IntegerIntervall interval)

Method Summary

Methods

Modifier and Type	Method and Description
void	createTupleSets(Universe universe) Usually, when the type is created, the universe is not yet created because it is not known how large it will be after registering all types.
boolean	isVariable() It's a type, as such constant.
void	setBound(Relation relation, Bounds bounds) Constraints the possible values of a relation.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeBound

public TypeBound(IntegerIntervall interval)

Method Detail

isVariable

public boolean isVariable()

It's a type, as such constant.

Specified by:

isVariable in interface AbstractBound

Returns:

if the bound is such that the value of the relation is not yet completely determined. The tools sends only values of variables.

setBound

public void setBound(Relation relation,
            Bounds bounds)

Description copied from interface: AbstractBound

Constraints the possible values of a relation.

Specified by:

setBound in interface AbstractBound

Parameters:

relation - the Kodkod relation, never null

bounds - the Kodkod bounds, specific for a single request, never null.

createTupleSets

public void createTupleSets(Universe universe)

Usually, when the type is created, the universe is not yet created because it is not known how large it will be after registering all types. This method has to be called after the universe has been created to instantiate the TupleSet that includes all values of the type.

Parameters:

universe -