Cream version 1.06 Core API Specification

jp.ac.kobe_u.cs.cream
Class IntComparison

java.lang.Object
  extended by jp.ac.kobe_u.cs.cream.Constraint
      extended by jp.ac.kobe_u.cs.cream.IntComparison

public class IntComparison
extends Constraint

IntComparison constraint implements comparison relations on integers.

Since:
1.0
See Also:
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

LE

public static final int LE
Less-than-or-equal comparison

See Also:
Constant Field Values

LT

public static final int LT
Less-than comparison

See Also:
Constant Field Values

GE

public static final int GE
Greater-than-or-equal comparison

See Also:
Constant Field Values

GT

public static final int GT
Greater-than comparison

See Also:
Constant Field Values
Constructor Detail

IntComparison

public IntComparison(Network net,
                     int comp,
                     Variable v0,
                     Variable v1)
Adds the constraint of v0 comp v1 to the constraint network net.

Parameters:
net - the constraint network
comp - the comparison
v0 - the first argument
v1 - the second argument

IntComparison

public IntComparison(Network net,
                     int comp,
                     Variable v0,
                     int x1)

IntComparison

public IntComparison(Network net,
                     int comp,
                     int x0,
                     Variable v1)
Method Detail

copy

public Constraint copy(Network net)
Description copied from class: Constraint
Creates a copy of this constraint for a new network net.

Specified by:
copy in class Constraint
Returns:
the copy of this constraint

isModified

public boolean isModified()
Description copied from class: Constraint
Returns true when some argument variable is modified.

Specified by:
isModified in class Constraint
Returns:
true when some argument variable is modified

satisfy

public boolean satisfy(Trail trail)
Description copied from class: Constraint
Performs consistency algorithm. Assignments are saved to the trail stack.

Specified by:
satisfy in class Constraint
Parameters:
trail - the trail stack
Returns:
true when the consistency algorithm succeeds

toString

public String toString()
Description copied from class: Constraint
Returns the string representation of the constraint.

Specified by:
toString in class Constraint
Returns:
the string representation

Cream version 1.06 Core API Specification

Cream: Constraint Programming Class Library for Java