|
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.NotEquals
public class NotEquals
NotEquals constraint.
Constructor Summary | |
---|---|
NotEquals(Network net,
Variable[] v)
Adds the constraint of v[i] != v[j] for each pair of variables in v to the constraint network net. |
|
NotEquals(Network net,
Variable v0,
Variable v1)
Adds the constraint of v0 != v1 for two variables to the constraint network net. |
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 NotEquals(Network net, Variable v0, Variable v1)
net
- the constraint networkv0
- the first variablev1
- the second variablepublic NotEquals(Network net, Variable[] v)
net
- the constraint networkv
- the array of variablesMethod 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 |