de.stups.probkodkod.bounds

Interface AbstractBound

All Known Implementing Classes:

ExactBound, SubsetBound, TypeBound

public interface AbstractBound

A bound constrains the possible values of a relation for a

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isVariable()
void	setBound(Relation relation, Bounds bounds) Constraints the possible values of a relation.

Method Detail

setBound

void setBound(Relation relation,
            Bounds bounds)

Constraints the possible values of a relation.

Parameters:

relation - the Kodkod relation, never null

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

isVariable

boolean isVariable()

Returns:

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