Uses of Class
org.chocosolver.solver.constraints.extension.Tuples
-
-
Uses of Tuples in org.chocosolver.solver.constraints
Methods in org.chocosolver.solver.constraints with parameters of type Tuples Modifier and Type Method Description default Constraint
IIntConstraintFactory. table(IntVar[] vars, Tuples tuples)
Creates a table constraint specifying that the sequence of variables vars must belong to the list of tuples (or must NOT belong in case of infeasible tuples) Default configuration with GACSTR+ algorithm for feasible tuples and GAC3rm otherwisedefault Constraint
IIntConstraintFactory. table(IntVar[] vars, Tuples tuples, String algo)
Creates a table constraint, with the specified algorithm defined algodefault Constraint
IIntConstraintFactory. table(IntVar var1, IntVar var2, Tuples tuples)
Create a table constraint over a couple of variables var1 and var2 Uses AC3rm algorithm by defaultdefault Constraint
IIntConstraintFactory. table(IntVar var1, IntVar var2, Tuples tuples, String algo)
Creates 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. -
Uses of Tuples in org.chocosolver.solver.constraints.extension
Methods in org.chocosolver.solver.constraints.extension that return Tuples Modifier and Type Method 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 constraintstatic Tuples
TuplesFactory. allEquals(IntVar... VARS)
Generate valid tuples for allEquals constraintstatic 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] = VALUEstatic Tuples
TuplesFactory. eucl_div(IntVar DIVIDEND, IntVar DIVISOR, IntVar RESULT)
Generate valid tuples for euclidean division constraint: DIVIDEND / DIVISOR = RESULT, rounding towards 0static 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 thefilter
.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 thefilter
.static Tuples
TuplesFactory. lex_chain_less(IntVar... VARS)
Generate valid tuples for lexChainLess constraintstatic Tuples
TuplesFactory. lex_chain_less_eq(IntVar... VARS)
Generate valid tuples for lexChainLessEq constraintstatic 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 = RESULTstatic Tuples
TuplesFactory. modulo(IntVar VAR1, IntVar VAR2, IntVar MOD)
Generate valid tuples for minimum constraint: VAR1 % VAR2 = MODstatic Tuples
TuplesFactory. plus(IntVar VAR1, IntVar VAR2, IntVar RESULT)
Generate valid tuples for plus constraint: VAR1 + VAR2 = RESULTstatic Tuples
TuplesFactory. power(IntVar VAR1, IntVar VAR2, int POWER)
Generate valid tuples for absolute constraint: VAR1 = VAR2^POWERstatic Tuples
TuplesFactory. scalar(IntVar[] VARS, int[] COEFFS, String OPERATOR, IntVar SCALAR, int SCALAR_COEFF, int CSTE)
Generate valid tuples for ∑i in |VARS|VARSi*COEFFSi OPERATOR SCALAR + CSTE with OPERATOR in {"=", "!static Tuples
TuplesFactory. scalar(IntVar[] VARS, int[] COEFFS, IntVar SCALAR, int SCALAR_COEFF)
Generate valid tuples for ∑i in |VARS|VARSi*COEFFSi OPERATOR SCALARstatic Tuples
TuplesFactory. square(IntVar VAR1, IntVar VAR2)
Generate valid tuples for absolute constraint: VAR1 = VAR2^2static Tuples
TuplesFactory. sum(IntVar[] VARS, String OPERATOR, IntVar SUM, int CSTE)
Generate valid tuples for ∑i in |VARS|VARSi OPERATOR SUM + CSTE with OPERATOR in {"=", "!static Tuples
TuplesFactory. times(IntVar VAR1, IntVar VAR2, IntVar RESULT)
Generate valid tuples for times constraint: VAR1 * VAR2 = RESULT -
Uses of Tuples in org.chocosolver.solver.constraints.extension.binary
Methods in org.chocosolver.solver.constraints.extension.binary that return Tuples Modifier and Type Method Description abstract Tuples
BinRelation. convert()
Convert this relation into 'Tuples'Tuples
PropBinCSP. extractTuples()
Extract the tuples from this internal data structureConstructors in org.chocosolver.solver.constraints.extension.binary with parameters of type Tuples Constructor 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)
-
Uses of Tuples in org.chocosolver.solver.constraints.extension.nary
Fields in org.chocosolver.solver.constraints.extension.nary declared as Tuples Modifier and Type Field Description protected Tuples
PropCompactTable. tuples
Methods in org.chocosolver.solver.constraints.extension.nary that return Tuples Modifier and Type Method Description abstract Tuples
LargeRelation. convert()
Convert this relation into 'Tuples'Tuples
TuplesLargeTable. convert()
Tuples
TuplesList. convert()
Tuples
TuplesTable. convert()
Tuples
TuplesVeryLargeTable. convert()
Tuples
PropLargeCSP. extractTuples()
Extract the tuples from this internal data structureMethods in org.chocosolver.solver.constraints.extension.nary with parameters of type Tuples Modifier and Type Method Description protected void
PropCompactTable. computeSupports(Tuples tuples)
protected void
PropCompactTableStar. computeSupports(Tuples tuples)
Constructors in org.chocosolver.solver.constraints.extension.nary with parameters of type Tuples Constructor Description PropCompactTable(IntVar[] vars, Tuples tuples)
Create a propagator for table constraint Only for feasible TuplesPropCompactTableStar(IntVar[] vars, Tuples tuples)
Create a propagator for table constraint Only for feasible TuplesPropLargeFC(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)
PropTableStr2(IntVar[] vars_, Tuples tuplesObject)
TuplesLargeTable(Tuples tuples, IntVar[] vars)
TuplesList(Tuples tuples, IntVar[] vars)
TuplesTable(Tuples tuples, IntVar[] vars)
TuplesVeryLargeTable(Tuples tuples, IntVar[] vars)
-
Uses of Tuples in org.chocosolver.util.objects.graphs
Methods in org.chocosolver.util.objects.graphs with parameters of type Tuples Modifier and Type Method Description boolean
MultivaluedDecisionDiagram. addTuples(Tuples TUPLES)
Add all tuples within the MDDConstructors in org.chocosolver.util.objects.graphs with parameters of type Tuples Constructor Description MultivaluedDecisionDiagram(int[][] FLATDOM, Tuples TUPLES)
Create an MDD based on an array of flatten domains and a set of tuplesMultivaluedDecisionDiagram(int[][] FLATDOM, Tuples TUPLES, boolean compactOnce, boolean sortTuple)
Create an MDD based on an array of flatten domains and a set of tuplesMultivaluedDecisionDiagram(IntVar[] VARIABLES, Tuples TUPLES)
Create an MDD based on an array of flatten domains and a set of tuplesMultivaluedDecisionDiagram(IntVar[] VARIABLES, Tuples TUPLES, boolean compactOnce, boolean sortTuple)
Create an MDD based on an array of flatten domains and a set of tuples
-