choco
Class Options

java.lang.Object
  extended by choco.Options

public class Options
extends Object

User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 25 mars 2010
Since : Choco 2.1.1

A class to declare options concerning variables and constraints. Available for module choco-cp only.


Field Summary
static String C_ALLDIFFERENT_AC
          
Goal : for Regin implementation.
static String C_ALLDIFFERENT_BC
          
Goal : for bound all different using the propagator of A.
static String C_ALLDIFFERENT_CLIQUE
          
Goal : propagate on the clique of differences.
static String C_CLAUSES_ENTAIL
          
Goal: Ensure quick entailment tests.
static String C_CUMUL_EF
          
Goal : set filtering policy to apply Edge Finding: Simple n^2 \times k algorithm (lazy for R) (CalcEF in the paper of Van Hentenrick)
Scope : Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...)
static String C_CUMUL_STI
          
Goal : set filtering policy to apply task intervals (O(n*n) but stronger deductions).
static String C_CUMUL_TI
          
Goal : set filtering policy to apply task intervals (O(n*log(n)) with Vilim Tree).
static String C_CUMUL_VEF
          
Goal : set filtering policy to apply another Edge Finding algorithm (not yet implemented): Vilim theta lambda tree + lazy computation of the inner maximization of the edge finding rule of Van hentenrick and Mercier
Scope : Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...)
static String C_DISJ_DP
          
Goal : set filtering policy to apply Detectable Precedence ( O(n*log(n)), Vilim).
static String C_DISJ_EF
          
Goal : set filtering policy to apply Edge Finding ( O(n*log(n)), Vilim).
static String C_DISJ_NFNL
          
Goal : set filtering policy to apply NotFirst/NotLast ( O(n*log(n)), Vilim).
static String C_DISJ_OC
          
Goal : set filtering policy to apply Overload Checking ( O(n*log(n)), Vilim), also known as task interval.
static String C_DISJ_VF
          
Goal : set filtering policy to apply Vilim Filtering Algorithm :
The filtering algorithm executes an internal loop until it reaches a global fixpoint.
static String C_EXT_AC2001
          
Goal : to get AC2001 algorithm (maintaining the current support of each value).
static String C_EXT_AC2008
          
Goal : to get AC2008 algorithm (maintained by STR).
static String C_EXT_AC3
          
Goal : to get AC3 algorithm (searching from scratch for supports on all values).
static String C_EXT_AC32
          
Goal : to get AC3rm algorithm (maintaining the current support of each value in a non backtrackable way).
static String C_EXT_AC322
          
Goal : to get AC3 with the used of BitSet to know if a support still exists.
static String C_EXT_FC
          
Goal : set filter policy to forward checking.
static String C_GCC_AC
          
Goal : for Regin implementation.
static String C_GCC_BC
          
Goal : for Quimper implementation.
static String C_INCREASING_NVALUE_ATLEAST
          
Goal : set filtering policy to filter on lower bound only.
static String C_INCREASING_NVALUE_ATMOST
          
Goal : set filtering policy to filter on upper bound only.
static String C_INCREASING_NVALUE_BOTH
          
Goal : set filtering policy to filter on lower and upper bound only.
static String C_MINMAX_INF
          
Goal : set a policy which instantiates the minimum/maximum variable to its minimum if the set is empty.
static String C_MINMAX_SUP
          
Goal : set a policy which instantiates the minimum/maximum variable to its maximum if the set is empty.
static String C_NO_DETECTION
          preprocessing ignores the given constraint for detection.
static String C_NTH_G
          
Goal : global consistency.
static String C_PACK_AR
          
Goal : set filtering policy to apply additional rules based on the algorithm "NoSum" (Shaw-2004)
Scope : Choco.pack(choco.kernel.model.constraints.pack.PackModel, String...)
static String C_PACK_DLB
          
Goal : set filtering policy to apply a feasibility tests based on dynamic lower bounds on the number of non empty bins.
static String C_PACK_FB
          
Goal : set filtering policy to apply a dominance rule which pack an item which matches exactly the remaining space into a bin.
static String C_PACK_LBE
          
Goal : set filtering policy to apply a symmetry breaking rule which imposes that the last bins are empty.
static String C_POST_PONED
          
Goal: postponed a constraint.
protected static gnu.trove.TObjectIntHashMap<String> categories
           
static String E_AC
          
Goal : to get AC algorithm
Scope : IntegerExpressionVariable.
static String E_DECOMP
          
Goal : force decomposition of the scoped expression.
static String E_FC
          
Goal : set filter policy to forward checking.
static String NO_OPTION
           
static String V_BLIST
          
Goal : force Solver to create bipartite list domain variable.
static String V_BOUND
          
Goal : force Solver to create bounded domain variable.
static String V_BTREE
          
Goal : force Solver to create binary tree domain variable.
static String V_DECISION
          Deprecated. This option has no longer effect as by default every variables are put in the decision variable pool.
static String V_ENUM
          
Goal : force Solver to create enumerated domain variable (default options if options is empty).
static String V_LINK
          
Goal : force Solver to create linked list domain variable.
static String V_MAKESPAN
          
Goal : declare the current variable as makespan.
static String V_NO_DECISION
          
Goal : force variable to be removed from the pool of decisionnal variables.
static String V_OBJECTIVE
          
Goal : declare objective variable.
 
Method Summary
static void create(String name, int categorie)
          Declares a new option and define its categorie.
static int getCategorie(String name)
          Retrieves the categorie of the given option.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NO_OPTION

public static final String NO_OPTION
See Also:
Constant Field Values

V_BOUND

public static final String V_BOUND

Goal : force Solver to create bounded domain variable.
Scope: IntegerVariable, SetVariable's cardinality variable.

See Also:
Constant Field Values

V_ENUM

public static final String V_ENUM

Goal : force Solver to create enumerated domain variable (default options if options is empty).
Scope: IntegerVariable, SetVariable's cardinality variable (default option)

See Also:
Constant Field Values

V_BTREE

public static final String V_BTREE

Goal : force Solver to create binary tree domain variable.
Scope: IntegerVariable.

See Also:
Constant Field Values

V_BLIST

public static final String V_BLIST

Goal : force Solver to create bipartite list domain variable.
Scope: IntegerVariable.

See Also:
Constant Field Values

V_LINK

public static final String V_LINK

Goal : force Solver to create linked list domain variable.
Scope: IntegerVariable.

See Also:
Constant Field Values

V_MAKESPAN

public static final String V_MAKESPAN

Goal : declare the current variable as makespan.
Scope: IntegerVariable.

See Also:
Constant Field Values

V_DECISION

public static final String V_DECISION
Deprecated. This option has no longer effect as by default every variables are put in the decision variable pool.

Goal : declare variable as a decisional one.
Scope: IntegerVariable, SetVariable and RealVariable.

See Also:
Constant Field Values

V_NO_DECISION

public static final String V_NO_DECISION

Goal : force variable to be removed from the pool of decisionnal variables.
Scope: IntegerVariable, SetVariable and RealVariable.

See Also:
Constant Field Values

V_OBJECTIVE

public static final String V_OBJECTIVE

Goal : declare objective variable.
Scope: IntegerVariable, SetVariable and RealVariable.

See Also:
Constant Field Values

E_DECOMP

public static final String E_DECOMP

Goal : force decomposition of the scoped expression.
Scope : IntegerExpressionVariable.

See Also:
Constant Field Values

E_AC

public static final String E_AC

Goal : to get AC algorithm
Scope : IntegerExpressionVariable.

See Also:
Constant Field Values

E_FC

public static final String E_FC

Goal : set filter policy to forward checking.
Scope : IntegerExpressionVariable.

See Also:
Constant Field Values

C_EXT_AC3

public static final String C_EXT_AC3

Goal : to get AC3 algorithm (searching from scratch for supports on all values).
Scope : Choco.feasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, java.util.List), Choco.infeasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, java.util.List), Choco.infeasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, boolean[][]), Choco.relationPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.solver.constraints.integer.extension.BinRelation),

See Also:
Constant Field Values

C_EXT_AC32

public static final String C_EXT_AC32

Goal : to get AC3rm algorithm (maintaining the current support of each value in a non backtrackable way).
Scope : Choco.feasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, java.util.List), Choco.feasTupleAC(String, java.util.List, choco.kernel.model.variables.integer.IntegerVariable[]), Choco.infeasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, java.util.List), Choco.infeasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, boolean[][]), Choco.relationPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.solver.constraints.integer.extension.BinRelation), Choco.relationTupleAC(String, choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.solver.constraints.integer.extension.LargeRelation)

See Also:
Constant Field Values

C_EXT_AC322

public static final String C_EXT_AC322

Goal : to get AC3 with the used of BitSet to know if a support still exists.
Scope : Choco.feasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, java.util.List), Choco.infeasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, java.util.List), Choco.infeasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, boolean[][]), Choco.relationPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.solver.constraints.integer.extension.BinRelation),

See Also:
Constant Field Values

C_EXT_AC2001

public static final String C_EXT_AC2001

Goal : to get AC2001 algorithm (maintaining the current support of each value).
Scope : Choco.feasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, java.util.List), Choco.feasTupleAC(String, java.util.List, choco.kernel.model.variables.integer.IntegerVariable[]), Choco.infeasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, java.util.List), Choco.infeasPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, boolean[][]), Choco.relationPairAC(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.solver.constraints.integer.extension.BinRelation), Choco.relationTupleAC(String, choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.solver.constraints.integer.extension.LargeRelation)

See Also:
Constant Field Values

C_EXT_AC2008

public static final String C_EXT_AC2008

Goal : to get AC2008 algorithm (maintained by STR).
Scope : Choco.feasTupleAC(String, java.util.List, choco.kernel.model.variables.integer.IntegerVariable[]), Choco.infeasTupleAC(String, java.util.List, choco.kernel.model.variables.integer.IntegerVariable[]), Choco.relationTupleAC(String, choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.solver.constraints.integer.extension.LargeRelation)

See Also:
Constant Field Values

C_EXT_FC

public static final String C_EXT_FC

Goal : set filter policy to forward checking.
Scope : Choco.feasTupleAC(String, java.util.List, choco.kernel.model.variables.integer.IntegerVariable[]), Choco.infeasTupleAC(String, java.util.List, choco.kernel.model.variables.integer.IntegerVariable[]), Choco.relationTupleAC(String, choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.solver.constraints.integer.extension.LargeRelation).

See Also:
Constant Field Values

C_ALLDIFFERENT_AC

public static final String C_ALLDIFFERENT_AC

Goal : for Regin implementation.
Scope: Choco.allDifferent(String, choco.kernel.model.variables.integer.IntegerVariable[]) .

See Also:
Constant Field Values

C_ALLDIFFERENT_BC

public static final String C_ALLDIFFERENT_BC

Goal : for bound all different using the propagator of A. Lopez-Ortiz, C.-G. Quimper, J. Tromp, and P. van Beek. A fast and simple algorithm for bounds consistency of the alldifferent constraint. IJCAI-2003.
Scope: Choco.allDifferent(String, choco.kernel.model.variables.integer.IntegerVariable[]) .

See Also:
Constant Field Values

C_ALLDIFFERENT_CLIQUE

public static final String C_ALLDIFFERENT_CLIQUE

Goal : propagate on the clique of differences.
Scope: Choco.allDifferent(String, choco.kernel.model.variables.integer.IntegerVariable[]) .

See Also:
Constant Field Values

C_GCC_AC

public static final String C_GCC_AC

Goal : for Regin implementation.
Scope: Choco.globalCardinality(String, choco.kernel.model.variables.integer.IntegerVariable[], int[], int[], int) .

See Also:
Constant Field Values

C_GCC_BC

public static final String C_GCC_BC

Goal : for Quimper implementation.
Scope: Choco.globalCardinality(String, choco.kernel.model.variables.integer.IntegerVariable[], int[], int[], int) .

See Also:
Constant Field Values

C_INCREASING_NVALUE_ATLEAST

public static final String C_INCREASING_NVALUE_ATLEAST

Goal : set filtering policy to filter on lower bound only.
Scope: Choco.increasing_nvalue(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable[]) .

See Also:
Constant Field Values

C_INCREASING_NVALUE_ATMOST

public static final String C_INCREASING_NVALUE_ATMOST

Goal : set filtering policy to filter on upper bound only.
Scope: Choco.increasing_nvalue(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable[]) .

See Also:
Constant Field Values

C_INCREASING_NVALUE_BOTH

public static final String C_INCREASING_NVALUE_BOTH

Goal : set filtering policy to filter on lower and upper bound only.
Scope: Choco.increasing_nvalue(String, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable[]) .

See Also:
Constant Field Values

C_NTH_G

public static final String C_NTH_G

Goal : global consistency.
Scope : Choco.nth(String, choco.kernel.model.variables.integer.IntegerVariable, int[], choco.kernel.model.variables.integer.IntegerVariable), Choco.nth(String, choco.kernel.model.variables.integer.IntegerVariable, int[], choco.kernel.model.variables.integer.IntegerVariable, int)

See Also:
Constant Field Values

C_CLAUSES_ENTAIL

public static final String C_CLAUSES_ENTAIL

Goal: Ensure quick entailment tests.
Scope : Choco.clause(choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[])

See Also:
Constant Field Values

C_POST_PONED

public static final String C_POST_PONED

Goal: postponed a constraint.
Scope : Constraint.

See Also:
Constant Field Values

C_DISJ_OC

public static final String C_DISJ_OC

Goal : set filtering policy to apply Overload Checking ( O(n*log(n)), Vilim), also known as task interval.
Scope : Choco.disjunctive(choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...).

See Also:
Constant Field Values

C_DISJ_NFNL

public static final String C_DISJ_NFNL

Goal : set filtering policy to apply NotFirst/NotLast ( O(n*log(n)), Vilim).
Scope : Choco.disjunctive(choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...).

See Also:
Constant Field Values

C_DISJ_DP

public static final String C_DISJ_DP

Goal : set filtering policy to apply Detectable Precedence ( O(n*log(n)), Vilim).
Scope : Choco.disjunctive(choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...).

See Also:
Constant Field Values

C_DISJ_EF

public static final String C_DISJ_EF

Goal : set filtering policy to apply Edge Finding ( O(n*log(n)), Vilim).
Scope : Choco.disjunctive(choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...).

See Also:
Constant Field Values

C_DISJ_VF

public static final String C_DISJ_VF

Goal : set filtering policy to apply Vilim Filtering Algorithm :
The filtering algorithm executes an internal loop until it reaches a global fixpoint. The default internal loop applies each rule once whereas the Vilim's one applies each rule until it reaches its local fixpoint.
Scope : Choco.disjunctive(choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], String...),
Choco.disjunctive(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...).

See Also:
Constant Field Values

C_CUMUL_TI

public static final String C_CUMUL_TI

Goal : set filtering policy to apply task intervals (O(n*log(n)) with Vilim Tree).
Scope : Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMax(choco.kernel.model.variables.scheduling.TaskVariable[], int[], int, String...),
Choco.cumulativeMax(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMax(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMin(choco.kernel.model.variables.scheduling.TaskVariable[], int[], int, String...),
Choco.cumulativeMin(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMin(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),

See Also:
Constant Field Values

C_CUMUL_STI

public static final String C_CUMUL_STI

Goal : set filtering policy to apply task intervals (O(n*n) but stronger deductions).
Scope : Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMax(choco.kernel.model.variables.scheduling.TaskVariable[], int[], int, String...),
Choco.cumulativeMax(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMax(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMin(choco.kernel.model.variables.scheduling.TaskVariable[], int[], int, String...),
Choco.cumulativeMin(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMin(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),

See Also:
Constant Field Values

C_CUMUL_EF

public static final String C_CUMUL_EF

Goal : set filtering policy to apply Edge Finding: Simple n^2 \times k algorithm (lazy for R) (CalcEF in the paper of Van Hentenrick)
Scope : Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMax(choco.kernel.model.variables.scheduling.TaskVariable[], int[], int, String...),
Choco.cumulativeMax(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMax(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMin(choco.kernel.model.variables.scheduling.TaskVariable[], int[], int, String...),
Choco.cumulativeMin(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMin(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),

See Also:
Constant Field Values

C_CUMUL_VEF

public static final String C_CUMUL_VEF

Goal : set filtering policy to apply another Edge Finding algorithm (not yet implemented): Vilim theta lambda tree + lazy computation of the inner maximization of the edge finding rule of Van hentenrick and Mercier
Scope : Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulative(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMax(choco.kernel.model.variables.scheduling.TaskVariable[], int[], int, String...),
Choco.cumulativeMax(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMax(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMin(choco.kernel.model.variables.scheduling.TaskVariable[], int[], int, String...),
Choco.cumulativeMin(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),
Choco.cumulativeMin(String, choco.kernel.model.variables.scheduling.TaskVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...),

See Also:
Constant Field Values

C_PACK_AR

public static final String C_PACK_AR

Goal : set filtering policy to apply additional rules based on the algorithm "NoSum" (Shaw-2004)
Scope : Choco.pack(choco.kernel.model.constraints.pack.PackModel, String...),
{@link choco.Choco#pack(choco.kernel.model.variables.set.SetVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerConstantVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...)

See Also:
Constant Field Values

C_PACK_DLB

public static final String C_PACK_DLB

Goal : set filtering policy to apply a feasibility tests based on dynamic lower bounds on the number of non empty bins.
Scope : Choco.pack(choco.kernel.model.constraints.pack.PackModel, String...),
{@link choco.Choco#pack(choco.kernel.model.variables.set.SetVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerConstantVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...)

See Also:
Constant Field Values

C_PACK_FB

public static final String C_PACK_FB

Goal : set filtering policy to apply a dominance rule which pack an item which matches exactly the remaining space into a bin.
Scope : Choco.pack(choco.kernel.model.constraints.pack.PackModel, String...),
{@link choco.Choco#pack(choco.kernel.model.variables.set.SetVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerConstantVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...)

See Also:
Constant Field Values

C_PACK_LBE

public static final String C_PACK_LBE

Goal : set filtering policy to apply a symmetry breaking rule which imposes that the last bins are empty.
Scope : Choco.pack(choco.kernel.model.constraints.pack.PackModel, String...),
{@link choco.Choco#pack(choco.kernel.model.variables.set.SetVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerConstantVariable[], choco.kernel.model.variables.integer.IntegerVariable, String...)

See Also:
Constant Field Values

C_MINMAX_INF

public static final String C_MINMAX_INF

Goal : set a policy which instantiates the minimum/maximum variable to its minimum if the set is empty.
Scope : Choco#min(choco.kernel.model.variables.set.SetVariable, choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable) ,
Choco#max(choco.kernel.model.variables.set.SetVariable, choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable).

See Also:
Constant Field Values

C_MINMAX_SUP

public static final String C_MINMAX_SUP

Goal : set a policy which instantiates the minimum/maximum variable to its maximum if the set is empty.
Scope : Choco#min(choco.kernel.model.variables.set.SetVariable, choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable) ,
Choco#max(choco.kernel.model.variables.set.SetVariable, choco.kernel.model.variables.integer.IntegerVariable[], choco.kernel.model.variables.integer.IntegerVariable).

See Also:
Constant Field Values

C_NO_DETECTION

public static final String C_NO_DETECTION
preprocessing ignores the given constraint for detection.

See Also:
Constant Field Values

categories

protected static gnu.trove.TObjectIntHashMap<String> categories
Method Detail

getCategorie

public static int getCategorie(String name)
Retrieves the categorie of the given option. If option doesn't exist, return 0 (default categorie). See

Parameters:
name -
Returns:

create

public static void create(String name,
                          int categorie)
Declares a new option and define its categorie. Categaorie is mandatory to set a hierachy between options of an object: exclusive options should have the same categorie.

Parameters:
name - option name
categorie - option categorie


Copyright © 2012. All Rights Reserved.