public class ExactBound extends java.lang.Object implements AbstractBound
TupleSet| Constructor and Description |
|---|
ExactBound(TupleSet tupleSet) |
| 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.
|
public void setBound(Relation relation,
Bounds bounds)
AbstractBoundsetBound in interface AbstractBoundrelation - the Kodkod relation, never nullbounds - the Kodkod bounds, specific for a single request, never
null.public boolean isVariable()
ExactBound is never a variable as its values are completely
determined by the TupleSet.isVariable in interface AbstractBound