de.stups.probkodkod.bounds

Class SubsetBound

java.lang.Object

de.stups.probkodkod.bounds.SubsetBound

All Implemented Interfaces:

AbstractBound

public class SubsetBound
extends java.lang.Object
implements AbstractBound

This bound is used for variables. The values of the relation can take any value that is a subset of the given TupleSet.

Constructor Summary

Constructors

Constructor and Description
SubsetBound(TupleSet tupleSet)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isVariable() The value of the relation is any subset of the given tupleSet, so it is not yet determined.
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

SubsetBound

public SubsetBound(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()

The value of the relation is any subset of the given tupleSet, so it is not yet determined. It is a variable.

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.