Modifier and Type | Method and Description |
---|---|
static Constraint |
IntConstraintFactory.table(IntVar[] VARS,
Tuples TUPLES,
String ALGORITHM)
Create a table constraint, with the specified algorithm defined ALGORITHM
- GAC2001: Arc Consistency version 2001 for tuples,
- GAC2001+: Arc Consistency version 2001 for allowed tuples, - GAC3rm: Arc Consistency version AC3 rm for tuples, - GAC3rm+ (default): Arc Consistency version 3rm for allowed tuples, - GACSTR+: Arc Consistency version STR for allowed tuples, - STR2+: Arc Consistency version STR2 for allowed tuples, - FC: Forward Checking. |
static Constraint |
IntConstraintFactory.table(IntVar VAR1,
IntVar VAR2,
Tuples TUPLES,
String ALGORITHM)
Create a table constraint over a couple of variables VAR1 and VAR2:
- AC2001: table constraint which applies the AC2001 algorithm, - AC3: table constraint which applies the AC3 algorithm, - AC3rm: table constraint which applies the AC3 rm algorithm, - AC3bit+rm (default): table constraint which applies the AC3 bit+rm algorithm, - FC: table constraint which applies forward checking algorithm. |
Modifier and Type | Method and Description |
---|---|
static Tuples |
TuplesFactory.absolute(IntVar VAR1,
IntVar VAR2)
Generate valid tuples for absolute constraint: VAR1 = |VAR2|
|
static Tuples |
TuplesFactory.allDifferent(IntVar... VARS)
Generate valid tuples for allDifferent constraint
|
static Tuples |
TuplesFactory.allEquals(IntVar... VARS)
Generate valid tuples for allEquals constraint
|
static Tuples |
TuplesFactory.arithm(IntVar VAR1,
String OP,
IntVar VAR2)
Generate valid tuples for VAR1 OP VAR2, where OP in {"=", "!
|
static Tuples |
TuplesFactory.element(IntVar VALUE,
int[] TABLE,
IntVar INDEX,
int OFFSET)
Generate valid tuples for an element constraint : TABLE[INDEX-OFFSET] = VALUE
|
static Tuples |
TuplesFactory.eucl_div(IntVar DIVIDEND,
IntVar DIVISOR,
IntVar RESULT)
Generate valid tuples for euclidean division constraint: DIVIDEND / DIVISOR = RESULT, rounding towards 0
|
static Tuples |
TuplesFactory.generateTuples(TupleValidator filter,
boolean feasible,
int[]... doms)
A method that generates all tuples from a set of variables and stores (and returns) the valid tuples wrt to the
filter . |
static Tuples |
TuplesFactory.generateTuples(TupleValidator filter,
boolean feasible,
IntVar... vars)
A method that generates all tuples from a set of variables and stores (and returns) the valid tuples wrt to the
filter . |
static Tuples |
TuplesFactory.lex_chain_less_eq(IntVar... VARS)
Generate valid tuples for lex_chain_less_eq constraint
|
static Tuples |
TuplesFactory.lex_chain_less(IntVar... VARS)
Generate valid tuples for lex_chain_less constraint
|
static Tuples |
TuplesFactory.maximum(IntVar VAR1,
IntVar VAR2,
IntVar MAX)
Generate valid tuples for minus constraint: MAX = max(VAR1,VAR2)
|
static Tuples |
TuplesFactory.minimum(IntVar VAR1,
IntVar VAR2,
IntVar MIN)
Generate valid tuples for minimum constraint: MIN = min(VAR1,VAR2)
|
static Tuples |
TuplesFactory.minus(IntVar VAR1,
IntVar VAR2,
IntVar RESULT)
Generate valid tuples for minus constraint: VAR1 - VAR2 = RESULT
|
static Tuples |
TuplesFactory.modulo(IntVar VAR1,
IntVar VAR2,
IntVar MOD)
Generate valid tuples for minimum constraint: VAR1 % VAR2 = MOD
|
static Tuples |
TuplesFactory.plus(IntVar VAR1,
IntVar VAR2,
IntVar RESULT)
Generate valid tuples for plus constraint: VAR1 + VAR2 = RESULT
|
static Tuples |
TuplesFactory.power(IntVar VAR1,
IntVar VAR2,
int POWER)
Generate valid tuples for absolute constraint: VAR1 = VAR2^POWER
|
static Tuples |
TuplesFactory.scalar(IntVar[] VARS,
int[] COEFFS,
IntVar SCALAR,
int SCALAR_COEFF)
Generate valid tuples for ∑i in |VARS|VARSi*COEFFSi OPERATOR SCALAR
|
static Tuples |
TuplesFactory.scalar(IntVar[] VARS,
int[] COEFFS,
String OPERATOR,
IntVar SCALAR,
int SCALAR_COEFF)
Generate valid tuples for ∑i in |VARS|VARSi*COEFFSi OPERATOR SCALAR
|
static Tuples |
TuplesFactory.square(IntVar VAR1,
IntVar VAR2)
Generate valid tuples for absolute constraint: VAR1 = VAR2^2
|
static Tuples |
TuplesFactory.sum(IntVar[] VARS,
String OPERATOR,
IntVar SUM)
Generate valid tuples for ∑i in |VARS|VARSi OPERATOR SUM
|
static Tuples |
TuplesFactory.times(IntVar VAR1,
IntVar VAR2,
IntVar RESULT)
Generate valid tuples for times constraint: VAR1 * VAR2 = RESULT
|
Constructor and Description |
---|
PropBinAC2001(IntVar x,
IntVar y,
Tuples tuples) |
PropBinAC3(IntVar x,
IntVar y,
Tuples tuples) |
PropBinAC3bitrm(IntVar x,
IntVar y,
Tuples tuples) |
PropBinAC3rm(IntVar x,
IntVar y,
Tuples tuples) |
PropBinFC(IntVar x,
IntVar y,
Tuples tuples) |
Constructor and Description |
---|
PropLargeFC(IntVar[] vars,
Tuples tuples) |
PropLargeGAC2001(IntVar[] vs,
Tuples tuples) |
PropLargeGAC2001Positive(IntVar[] vs,
Tuples tuples) |
PropLargeGAC3rm(IntVar[] vs,
Tuples tuples) |
PropLargeGAC3rmPositive(IntVar[] vars,
Tuples tuples) |
PropLargeGACSTRPos(IntVar[] vs,
Tuples tuples) |
TuplesLargeTable(Tuples tuples,
IntVar[] vars) |
TuplesList(Tuples tuples,
IntVar[] vars) |
TuplesTable(Tuples tuples,
IntVar[] vars) |
TuplesVeryLargeTable(Tuples tuples,
IntVar[] vars) |
Modifier and Type | Method and Description |
---|---|
void |
MultivaluedDecisionDiagram.addTuples(Tuples TUPLES)
Add all tuples within the MDD
|
Constructor and Description |
---|
MultivaluedDecisionDiagram(int[][] FLATDOM,
Tuples TUPLES)
Create an MDD based on an array of flatten domains and a set of tuples
|
MultivaluedDecisionDiagram(int[][] FLATDOM,
Tuples TUPLES,
boolean compactOnce,
boolean sortTuple)
Create an MDD based on an array of flatten domains and a set of tuples
|
MultivaluedDecisionDiagram(IntVar[] VARIABLES,
Tuples TUPLES)
Create an MDD based on an array of flatten domains and a set of tuples
|
MultivaluedDecisionDiagram(IntVar[] VARIABLES,
Tuples TUPLES,
boolean compactOnce,
boolean sortTuple)
Create an MDD based on an array of flatten domains and a set of tuples
|
Copyright © 2015. All rights reserved.