|
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.IntArith
public class IntArith
IntArith constraint implements arithmetic binary operations on integers.
IntFunc
,
IntComparison
Field Summary | |
---|---|
static int |
ADD
Addition operation |
static int |
MAX
Max operation |
static int |
MIN
Min operation |
static int |
MULTIPLY
Multiplication operation |
static int |
SUBTRACT
Subtraction operation |
Constructor Summary | |
---|---|
IntArith(Network net,
int op,
int x0,
Variable v1,
Variable v2)
|
|
IntArith(Network net,
int op,
Variable v0,
int x1,
Variable v2)
|
|
IntArith(Network net,
int op,
Variable v0,
Variable v1,
int x2)
|
|
IntArith(Network net,
int op,
Variable v0,
Variable v1,
Variable v2)
Adds the constraint of v0 == v1 op v2 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 ADD
public static final int SUBTRACT
public static final int MULTIPLY
public static final int MAX
public static final int MIN
Constructor Detail |
---|
public IntArith(Network net, int op, Variable v0, Variable v1, Variable v2)
net
- the constraint networkop
- the operationv0
- the resultv1
- the first operandv2
- the second operandpublic IntArith(Network net, int op, Variable v0, Variable v1, int x2)
public IntArith(Network net, int op, Variable v0, int x1, Variable v2)
public IntArith(Network net, int op, int x0, Variable v1, Variable v2)
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.4 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |