|
Cream version 1.06 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjp.ac.kobe_u.cs.cream.Constraint
jp.ac.kobe_u.cs.cream.Sequential
public class Sequential
Sequential constraints constructed from an array of n integer variables (v[0], ..., v[n-1]) and an array of n positive integer constants (a[0], ..., a[n-1]). This constraint means v[i-1]+a[i-1] <= v[i] (i = 1, 2, ..., n-1).
Serialized
Constructor Summary | |
---|---|
Sequential(Network net,
Variable[] v,
int[] a)
Adds a sequential constraint to the network. |
Method Summary | |
---|---|
Constraint |
copy(Network net)
Creates a copy of this constraint for a new network net. |
boolean |
isModified()
Returns true when some argument variable is modified. |
boolean |
satisfy(Trail trail)
Performs consistency algorithm. |
String |
toString()
Returns the string representation of the constraint. |
Methods inherited from class jp.ac.kobe_u.cs.cream.Constraint |
---|
getIndex, getNetwork, setIndex |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Sequential(Network net, Variable[] v, int[] a)
net
- the networkv
- the array of integer variablesa
- the array of positive integer constantsMethod Detail |
---|
public Constraint copy(Network net)
Constraint
copy
in class Constraint
public boolean isModified()
Constraint
isModified
in class Constraint
public boolean satisfy(Trail trail)
Constraint
satisfy
in class Constraint
trail
- the trail stack
public String toString()
Constraint
toString
in class Constraint
|
Cream version 1.06 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |