Package org.jacop.constraints.netflow

Class Arithmetic

java.lang.Object

org.jacop.constraints.DecomposedConstraint<Constraint>

org.jacop.constraints.netflow.Arithmetic

public class Arithmetic
extends DecomposedConstraint<Constraint>

Version:

4.10

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private class	Arithmetic.ArithmeticBuilder

Field Summary

Fields

Modifier and Type	Field	Description
(package private) List<Constraint>	decomposition
protected List<int[]>	eqns
protected Map<IntVar,Integer>	map
static final IntVar	NULL_VAR
protected List<IntVar>	vars

Fields inherited from class org.jacop.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Constructors

Constructor	Description
Arithmetic()

Method Summary

Modifier and Type	Method	Description
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)
List<Constraint>	decompose(Store store)	It returns an array list of constraint which are used to decompose this constraint.
private static void	flip(int[] eqn)
void	imposeDecomposition(Store store)	It imposes the constraint in a given store.
private int	lookup(IntVar var)
protected boolean	optimize(int[] sum)
List<Constraint>	primitiveDecomposition(Store store)
private static int[]	transform(int[] sum, int[] eqn)
private static int	weight(int[] array)

Methods inherited from class org.jacop.constraints.DecomposedConstraint

auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition

Methods inherited from class java.lang.Object

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

Field Details

NULL_VAR

public static final IntVar NULL_VAR

eqns

protected List<int[]> eqns

vars

protected List<IntVar> vars

map

protected Map<IntVar,Integer> map

decomposition

List<Constraint> decomposition

Constructor Details

Arithmetic

public Arithmetic()

Method Details

lookup

private int lookup(IntVar var)

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 List<Constraint> primitiveDecomposition(Store store)

optimize

protected boolean optimize(int[] sum)

weight

private static int weight(int[] array)

transform

private static int[] transform(int[] sum,
 int[] eqn)

flip

private static void flip(int[] eqn)

decompose

public List<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<Constraint>

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<Constraint>

Parameters:

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