public class Scalar extends Constraint
name, propagators
Constructor and Description |
---|
Scalar(IntVar[] X,
int[] A,
int B)
Scalar product A.X Op B
e.g. a1.x1 + a2.x2 = b
|
Scalar(IntVar[] X,
int[] A,
IntVar Y,
int B)
Scalar product A.X Op B.Y
e.g. a1.x1 + a2.x2 = b.y
|
Modifier and Type | Method and Description |
---|---|
static int[] |
getScalarBounds(IntVar[] vars,
int[] coefs) |
computeMaxPriority, duplicate, getName, getOpposite, getPropagator, getPropagators, isReified, isSatisfied, makeOpposite, reif, reifyWith, setName, toString
public Scalar(IntVar[] X, int[] A, int B)
X
- Array of integer variablesA
- Array of integer coefficientsB
- Integer result of the scalar productpublic static int[] getScalarBounds(IntVar[] vars, int[] coefs)
Copyright © 2015. All rights reserved.