Cream version 1.2 Core API Specification

jp.ac.kobe_u.cs.cream
Class IntArith

java.lang.Object
  extended byjp.ac.kobe_u.cs.cream.Constraint
      extended byjp.ac.kobe_u.cs.cream.IntArith

public class IntArith
extends Constraint


Field Summary
static int ADD
           
static int MULTIPLY
           
static int SUBTRACT
           
 
Constructor Summary
IntArith(Network net, int a, int x0, Variable v1, Variable v2)
           
IntArith(Network net, int a, Variable v0, int x1, Variable v2)
           
IntArith(Network net, int a, Variable v0, Variable v1, int x2)
           
IntArith(Network net, int a, Variable v0, Variable v1, Variable v2)
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

ADD

public static final int ADD
See Also:
Constant Field Values

SUBTRACT

public static final int SUBTRACT
See Also:
Constant Field Values

MULTIPLY

public static final int MULTIPLY
See Also:
Constant Field Values
Constructor Detail

IntArith

public IntArith(Network net,
                int a,
                Variable v0,
                Variable v1,
                Variable v2)

IntArith

public IntArith(Network net,
                int a,
                Variable v0,
                Variable v1,
                int x2)

IntArith

public IntArith(Network net,
                int a,
                Variable v0,
                int x1,
                Variable v2)

IntArith

public IntArith(Network net,
                int a,
                int x0,
                Variable v1,
                Variable v2)
Method Detail

toString

public java.lang.String toString()

Cream version 1.2 Core API Specification

Cream: Constraint Programming Class Library for Java