|
Cream version 1.4 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.Relation
public class Relation
Relation constraints. Possible combinations of two integer variables can be defined by a two-dimentional array of boolean values.
Constructor Summary | |
---|---|
Relation(Network net,
Variable v0,
boolean[][] rel,
Variable v1)
Adds a constraint meaning rel[v0][v1] 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 Relation(Network net, Variable v0, boolean[][] rel, Variable v1)
net
- the networkv0
- the first argument integer variablev1
- the second argument integer variablerel
- two-dimentional array of boolean valuesMethod 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.4 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |