Cream version 1.2 Core API Specification

jp.ac.kobe_u.cs.cream
Class IntVariable

java.lang.Object
  extended byjp.ac.kobe_u.cs.cream.Variable
      extended byjp.ac.kobe_u.cs.cream.IntVariable
All Implemented Interfaces:
java.lang.Cloneable

public class IntVariable
extends Variable

Integer variables.

Since:
1.0
See Also:
IntDomain

Constructor Summary
IntVariable(Network net)
           
IntVariable(Network net, int value)
           
IntVariable(Network net, IntDomain d)
          Constructs an integer variable of the network with an initial integer domain d and a default name.
IntVariable(Network net, IntDomain d, java.lang.String name)
          Constructs an integer variable of the network with an initial integer domain d and a name specified by the parameter name.
IntVariable(Network net, int lo, int hi)
           
IntVariable(Network net, int lo, int hi, java.lang.String name)
           
IntVariable(Network net, int value, java.lang.String name)
           
 
Method Summary
 IntVariable abs()
           
 IntVariable add(int value)
           
 IntVariable add(IntVariable v)
           
 void equals(int value)
           
 void equals(IntVariable v)
           
 void ge(int value)
           
 void ge(IntVariable v)
           
 void gt(int value)
           
 void gt(IntVariable v)
           
 void le(int value)
           
 void le(IntVariable v)
           
 void lt(int value)
           
 void lt(IntVariable v)
           
 IntVariable multiply(int value)
           
 IntVariable multiply(IntVariable v)
           
 IntVariable negate()
           
 void notEquals(int value)
           
 void notEquals(IntVariable v)
           
 IntVariable subtract(int value)
           
 IntVariable subtract(IntVariable v)
           
 
Methods inherited from class jp.ac.kobe_u.cs.cream.Variable
getName, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntVariable

public IntVariable(Network net,
                   IntDomain d)
Constructs an integer variable of the network with an initial integer domain d and a default name. This constructor is equivalent to IntVariable(network, d, null).

Parameters:
net - the network
d - the initial integer domain

IntVariable

public IntVariable(Network net,
                   IntDomain d,
                   java.lang.String name)
Constructs an integer variable of the network with an initial integer domain d and a name specified by the parameter name. When the parameter name is null, default names (v1, v2, and so on) are used.

Parameters:
net - the network
d - the initial integer domain
name - the name of the variable, or null for a default name

IntVariable

public IntVariable(Network net)

IntVariable

public IntVariable(Network net,
                   int value)

IntVariable

public IntVariable(Network net,
                   int value,
                   java.lang.String name)

IntVariable

public IntVariable(Network net,
                   int lo,
                   int hi)

IntVariable

public IntVariable(Network net,
                   int lo,
                   int hi,
                   java.lang.String name)
Method Detail

add

public IntVariable add(IntVariable v)

add

public IntVariable add(int value)

subtract

public IntVariable subtract(IntVariable v)

subtract

public IntVariable subtract(int value)

multiply

public IntVariable multiply(IntVariable v)

multiply

public IntVariable multiply(int value)

negate

public IntVariable negate()

abs

public IntVariable abs()

equals

public void equals(IntVariable v)

equals

public void equals(int value)

notEquals

public void notEquals(IntVariable v)

notEquals

public void notEquals(int value)

le

public void le(IntVariable v)

le

public void le(int value)

lt

public void lt(IntVariable v)

lt

public void lt(int value)

ge

public void ge(IntVariable v)

ge

public void ge(int value)

gt

public void gt(IntVariable v)

gt

public void gt(int value)

Cream version 1.2 Core API Specification

Cream: Constraint Programming Class Library for Java