Package org.jacop.constraints.netflow
Class Arithmetic
- Version:
- 4.9
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescription(package private) List<Constraint>
protected List<int[]>
static final IntVar
Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
addEquation
(IntVar[] vars, int[] coeffs) void
addEquation
(IntVar[] vars, int[] coeffs, int constant) void
void
addXplusYeqZ
(IntVar x, IntVar y, IntVar z) void
addXsubYeqZ
(IntVar x, IntVar y, IntVar z) 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
protected boolean
optimize
(int[] sum) 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
-
Field Details
-
NULL_VAR
-
eqns
-
vars
-
map
-
decomposition
List<Constraint> decomposition
-
-
Constructor Details
-
Arithmetic
public Arithmetic()
-
-
Method Details
-
lookup
-
addEquation
-
addEquation
-
addXplusYeqZ
-
addXsubYeqZ
-
addSum
-
primitiveDecomposition
-
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
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 classDecomposedConstraint<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
Description copied from class:DecomposedConstraint
It imposes the constraint in a given store.- Specified by:
imposeDecomposition
in classDecomposedConstraint<Constraint>
- Parameters:
store
- the constraint store to which the constraint is imposed to.
-