|
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.IntComparison
public class IntComparison
IntComparison constraint implements comparison relations on integers.
IntArith
,
IntFunc
Field Summary | |
---|---|
static int |
GE
Greater-than-or-equal comparison |
static int |
GT
Greater-than comparison |
static int |
LE
Less-than-or-equal comparison |
static int |
LT
Less-than comparison |
Constructor Summary | |
---|---|
IntComparison(Network net,
int comp,
int x0,
Variable v1)
|
|
IntComparison(Network net,
int comp,
Variable v0,
int x1)
|
|
IntComparison(Network net,
int comp,
Variable v0,
Variable v1)
Adds the constraint of v0 comp v1 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 |
Field Detail |
---|
public static final int LE
public static final int LT
public static final int GE
public static final int GT
Constructor Detail |
---|
public IntComparison(Network net, int comp, Variable v0, Variable v1)
net
- the constraint networkcomp
- the comparisonv0
- the first argumentv1
- the second argumentpublic IntComparison(Network net, int comp, Variable v0, int x1)
public IntComparison(Network net, int comp, int x0, Variable v1)
Method 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 |