JaCoP.constraints.netflow
Class Arithmetic

java.lang.Object
  JaCoP.constraints.DecomposedConstraint
      JaCoP.constraints.netflow.Arithmetic

public class Arithmetic
extends DecomposedConstraint

Version:

3.1

Author:

Robin Steiger and Radoslaw Szymanek

Field Summary

static IntVar

NULL_VAR

Fields inherited from class JaCoP.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Arithmetic()

Method Summary

void	addEquation(IntVar[] vars, int[] coeffs)
void	addEquation(IntVar[] vars, int[] coeffs, int constant)
void	addSum(IntVar[] vars, IntVar sum)
void	addXplusYeqZ(IntVar x, IntVar y, IntVar z)
void	addXsubYeqZ(IntVar x, IntVar y, IntVar z)
java.util.ArrayList<Constraint>	decompose(Store store) It returns an array list of constraint which are used to decompose this constraint.
void	imposeDecomposition(Store store) It imposes the constraint in a given store.
java.util.ArrayList<Constraint>	primitiveDecomposition(Store store)

Methods inherited from class JaCoP.constraints.DecomposedConstraint

auxiliaryVariables, imposeDecomposition

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NULL_VAR

public static final IntVar NULL_VAR

Constructor Detail

Arithmetic

public Arithmetic()

Method Detail

addEquation

public void addEquation(IntVar[] vars,
                        int[] coeffs)

addEquation

public void addEquation(IntVar[] vars,
                        int[] coeffs,
                        int constant)

addXplusYeqZ

public void addXplusYeqZ(IntVar x,
                         IntVar y,
                         IntVar z)

addXsubYeqZ

public void addXsubYeqZ(IntVar x,
                        IntVar y,
                        IntVar z)

addSum

public void addSum(IntVar[] vars,
                   IntVar sum)

primitiveDecomposition

public java.util.ArrayList<Constraint> primitiveDecomposition(Store store)

decompose

public java.util.ArrayList<Constraint> decompose(Store store)

Description copied from class: DecomposedConstraint

It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.

Specified by:

decompose in class DecomposedConstraint

Parameters:

store - the constraint store in which context the decomposition takes place.

Returns:

an array list of constraints used to decompose this constraint.

imposeDecomposition

public void imposeDecomposition(Store store)

Description copied from class: DecomposedConstraint

It imposes the constraint in a given store.

Specified by:

imposeDecomposition in class DecomposedConstraint

Parameters:

store - the constraint store to which the constraint is imposed to.