de.stups.probkodkod.bounds

Class ExactBound

java.lang.Object

de.stups.probkodkod.bounds.ExactBound

All Implemented Interfaces:

AbstractBound

public class ExactBound
extends java.lang.Object
implements AbstractBound

An exact bound defines a relation with a constant value by a TupleSet

Constructor Summary

Constructors

Constructor and Description
ExactBound(TupleSet tupleSet)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isVariable() An ExactBound is never a variable as its values are completely determined by the TupleSet.
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

ExactBound

public ExactBound(TupleSet tupleSet)

Method Detail

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.

isVariable

public boolean isVariable()

An ExactBound is never a variable as its values are completely determined by the TupleSet.

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.