|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
choco.* |
---|
choco.Choco | ||
---|---|---|
public static final int |
MAX_UPPER_BOUND |
21474836 |
public static final int |
MIN_LOWER_BOUND |
-21474836 |
choco.Options | ||
---|---|---|
public static final String |
C_ALLDIFFERENT_AC |
"cp:ac" |
public static final String |
C_ALLDIFFERENT_BC |
"cp:bc" |
public static final String |
C_ALLDIFFERENT_CLIQUE |
"cp:clique" |
public static final String |
C_CLAUSES_ENTAIL |
"cp:entail" |
public static final String |
C_CUMUL_EF |
"cp:cumulative:edge_finding" |
public static final String |
C_CUMUL_STI |
"cp:cumulative:slow_task_intervals" |
public static final String |
C_CUMUL_TI |
"cp:cumulative:task_intervals" |
public static final String |
C_CUMUL_VEF |
"cp:cumulative:edge_finding:vilim" |
public static final String |
C_DISJ_DP |
"cp:disjunctive:detectable_precedence" |
public static final String |
C_DISJ_EF |
"cp:disjunctive:edge_finding" |
public static final String |
C_DISJ_NFNL |
"cp:disjunctive:not_first_not_last" |
public static final String |
C_DISJ_OC |
"cp:disjunctive:overload_checking" |
public static final String |
C_DISJ_VF |
"cp:disjunctive:vilim_filtering" |
public static final String |
C_EXT_AC2001 |
"cp:ac2001" |
public static final String |
C_EXT_AC2008 |
"cp:ac2008" |
public static final String |
C_EXT_AC3 |
"cp:ac3" |
public static final String |
C_EXT_AC32 |
"cp:ac32" |
public static final String |
C_EXT_AC322 |
"cp:ac322" |
public static final String |
C_EXT_FC |
"cp:fc" |
public static final String |
C_GCC_AC |
"cp:ac" |
public static final String |
C_GCC_BC |
"cp:bc" |
public static final String |
C_INCREASING_NVALUE_ATLEAST |
"cp:atleast" |
public static final String |
C_INCREASING_NVALUE_ATMOST |
"cp:atmost" |
public static final String |
C_INCREASING_NVALUE_BOTH |
"cp:both" |
public static final String |
C_MINMAX_INF |
"cp:min-max:inf" |
public static final String |
C_MINMAX_SUP |
"cp:min-max:sup" |
public static final String |
C_NO_DETECTION |
"ppcp:no_detection" |
public static final String |
C_NTH_G |
"cp:G" |
public static final String |
C_PACK_AR |
"cp:pack:additional_rules" |
public static final String |
C_PACK_DLB |
"cp:pack:dynamic_lower_bound" |
public static final String |
C_PACK_FB |
"cp:pack:fill_bins" |
public static final String |
C_PACK_LBE |
"cp:pack:last_bins_empty" |
public static final String |
C_POST_PONED |
"cp:postponed" |
public static final String |
E_AC |
"cp:ac" |
public static final String |
E_DECOMP |
"cp:decomp" |
public static final String |
E_FC |
"cp:fc" |
public static final String |
NO_OPTION |
"" |
public static final String |
V_BLIST |
"cp:blist" |
public static final String |
V_BOUND |
"cp:bound" |
public static final String |
V_BTREE |
"cp:btree" |
public static final String |
V_DECISION |
"cp:decision" |
public static final String |
V_ENUM |
"cp:enum" |
public static final String |
V_LINK |
"cp:link" |
public static final String |
V_MAKESPAN |
"cp:makespan" |
public static final String |
V_NO_DECISION |
"cp:no_decision" |
public static final String |
V_OBJECTIVE |
"cp:objective" |
choco.cp.* |
---|
choco.cp.common.util.preprocessor.detector.scheduling.DisjunctiveGraph<E extends ITemporalRelation<?,?>> | ||
---|---|---|
protected static final String |
ARC_COLOR |
"color=forestgreen" |
protected static final String |
ARROW_BIG |
"arrowsize=1.5" |
protected static final String |
ARROW_DOT |
"arrowhead=dot" |
protected static final String |
DIR_BWD |
"dir=back" |
protected static final String |
EDGE_COLOR |
"color=royalblue" |
protected static final String |
STY_BOLD |
"style=bold" |
protected static final String |
STY_BOLD_DASHED |
"style=\"bold,dashed\"" |
choco.cp.model.managers.constraints.global.LexManager | ||
---|---|---|
public static final int |
EQ |
1 |
public static final int |
NONE |
0 |
choco.cp.solver.CPSolver | ||
---|---|---|
public static final int |
FINEST |
4 |
public static final boolean |
GOAL |
false |
public static final int |
PROPAGATION |
3 |
public static final int |
SEARCH |
2 |
public static final int |
SILENT |
0 |
public static final int |
SOLUTION |
1 |
choco.cp.solver.constraints.global.geost.Constants | ||
---|---|---|
public static final int |
AVOID_HOLES |
3 |
public static final int |
COMPATIBLE |
1 |
public static final int |
DIST_GEQ |
6 |
public static final int |
DIST_GEQ_FR |
6 |
public static final int |
DIST_LEQ |
5 |
public static final int |
DIST_LEQ_FR |
5 |
public static final int |
DIST_LINEAR |
7 |
public static final int |
DIST_LINEAR_FR |
7 |
public static final int |
FORBID_REGION |
4 |
public static final int |
INBOX |
1 |
public static final int |
INCLUDED |
2 |
public static final int |
NON_OVERLAPPING |
3 |
public static final int |
NON_OVERLAPPING_CIRCLE |
8 |
public static final int |
OUTBOX |
2 |
public static final int |
VISIBLE |
4 |
choco.cp.solver.constraints.global.geost.util.VRMLwriter | ||
---|---|---|
public static final String |
VRML_OUTPUT_FOLDER |
"" |
choco.cp.solver.constraints.global.regular.Regular | ||
---|---|---|
public static final boolean |
INCREMENTAL |
true |
choco.cp.solver.constraints.global.scheduling.AbstractResourceSConstraint | ||
---|---|---|
public static final int |
TASK_MASK |
11 |
choco.cp.solver.constraints.global.scheduling.AbstractUseResourcesSConstraint | ||
---|---|---|
protected static final int |
BOOL_OFFSET |
3 |
choco.cp.solver.constraints.global.scheduling.BoundHRTask | ||
---|---|---|
public static final int |
ELIMINATED |
0 |
public static final int |
REGULAR |
1 |
choco.cp.solver.constraints.global.scheduling.EnumHRTask | ||
---|---|---|
public static final int |
ELIMINATED |
0 |
public static final int |
REGULAR |
1 |
choco.cp.solver.constraints.global.scheduling.RTask | ||
---|---|---|
public static final int |
ELIMINATED |
0 |
public static final int |
REGULAR |
1 |
choco.cp.solver.constraints.global.scheduling.cumulative.CumulSweep.Event | ||
---|---|---|
public static final int |
CHECK |
0 |
public static final int |
PROFILE |
1 |
public static final int |
PRUNING |
2 |
choco.cp.solver.constraints.global.scheduling.precedence.AbstractPrecedenceSConstraint | ||
---|---|---|
protected static final int |
BIDX |
0 |
choco.cp.solver.constraints.global.scheduling.precedence.ITemporalSRelation | ||
---|---|---|
public static final int |
PRESERVED_PRECISION |
4096 |
choco.cp.solver.constraints.global.softscheduling.AbstractSoftCumulative.Event | ||
---|---|---|
public static final int |
CHECK |
0 |
public static final int |
CHECKPROF |
3 |
public static final int |
PROFILE |
1 |
public static final int |
PRUNING |
2 |
choco.cp.solver.constraints.global.tree.TreeSConstraint | ||
---|---|---|
protected static final boolean |
AFFICHE |
false |
choco.cp.solver.constraints.integer.DistanceXYC | ||
---|---|---|
public static final int |
EQ |
0 |
public static final int |
GT |
2 |
public static final int |
LT |
1 |
public static final int |
NEQ |
3 |
choco.cp.solver.constraints.integer.DistanceXYZ | ||
---|---|---|
public static final int |
EQ |
0 |
public static final int |
GT |
2 |
public static final int |
LT |
1 |
choco.cp.solver.constraints.integer.IntLinComb | ||
---|---|---|
public static final int |
EQ |
0 |
public static final int |
GEQ |
1 |
public static final int |
LEQ |
3 |
public static final int |
NEQ |
2 |
choco.cp.solver.constraints.integer.MaxOfAList | ||
---|---|---|
public static final int |
MAX_INDEX |
0 |
public static final int |
VARS_OFFSET |
1 |
choco.cp.solver.constraints.integer.MinOfAList | ||
---|---|---|
public static final int |
MIN_INDEX |
0 |
public static final int |
VARS_OFFSET |
1 |
choco.cp.solver.constraints.integer.bool.sat.ClauseStore | ||
---|---|---|
public static final boolean |
nonincprop |
false |
choco.cp.solver.constraints.integer.extension.GAC2001PositiveLargeConstraint | ||
---|---|---|
protected static final int |
NO_SUPPORT |
-2 |
choco.cp.solver.constraints.integer.extension.GAC3rmPositiveLargeConstraint | ||
---|---|---|
protected static final int |
NO_SUPPORT |
-2 |
choco.cp.solver.constraints.set.AbstractBoundOfASet | ||
---|---|---|
public static final int |
BOUND_INDEX |
0 |
public static final int |
SET_INDEX |
0 |
public static final int |
VARS_OFFSET |
1 |
choco.cp.solver.constraints.set.SetNaryUnion | ||
---|---|---|
protected static final int |
UNION_SET_INDEX |
0 |
choco.cp.solver.preprocessor.PreProcessConfiguration | ||
---|---|---|
public static final String |
CLIQUES_DETECTION |
"ppcp.detection.cliques" |
public static final String |
DISJUNCTIVE_DETECTION |
"ppcp.detection.disjunctive" |
public static final String |
DISJUNCTIVE_FROM_CUMULATIVE_DETECTION |
"ppcp.detection.scheduling.cumulative.disjunctive" |
public static final String |
DISJUNCTIVE_MODEL_DETECTION |
"ppcp.detection.scheduling.disjMod" |
public static final String |
DMD_GENERATE_CLAUSES |
"ppcp.detection.scheduling.disjMod.clauses" |
public static final String |
DMD_REMOVE_DISJUNCTIVE |
"ppcp.detection.scheduling.disjMod.removeDisjunctive" |
public static final String |
DMD_USE_TIME_WINDOWS |
"ppcp.detection.scheduling.disjMod.timeWindows" |
public static final String |
EXPRESSION_DETECTION |
"ppcp.detection.expression" |
public static final String |
INT_EQUALITY_DETECTION |
"ppcp.detection.intEq" |
public static final String |
RESTART_MODE |
"ppcp.restartMode" |
public static final String |
SYMETRIE_BREAKING_DETECTION |
"ppcp.detection.cliques.symetrieBreaking" |
public static final String |
TASK_EQUALITY_DETECTION |
"ppcp.detection.taskEq" |
choco.cp.solver.search.integer.varselector.ratioselector.IntVarRatioSelector | ||
---|---|---|
public static final int |
NULL |
-1 |
choco.cp.solver.search.integer.varselector.ratioselector.ratios.task.preserved.PreservedWDegRatio | ||
---|---|---|
protected static final int |
DIVISOR |
4096 |
choco.cp.solver.search.task.profile.ProbabilisticProfile.EventDataStructure | ||
---|---|---|
public static final int |
ECT |
2 |
public static final int |
EST |
0 |
public static final int |
LCT |
3 |
public static final int |
LST |
1 |
choco.cp.solver.variables.integer.IntVarEvent<C extends AbstractSConstraint & IntPropagator> | ||
---|---|---|
public static final int |
BOUNDS_MASK |
3 |
public static final int |
BOUNDSbitvector |
3 |
public static final int |
DECSUP |
1 |
public static final int |
DECSUP_MASK |
2 |
public static final int |
DECSUPbitvector |
2 |
public static final int |
INCINF |
0 |
public static final int |
INCINF_MASK |
1 |
public static final int |
INCINFbitvector |
1 |
public static final int |
INSTINT |
3 |
public static final int |
INSTINT_MASK |
8 |
public static final int |
INSTINTbitvector |
8 |
public static final int |
NO_MASK |
0 |
public static final int |
REMVAL |
2 |
public static final int |
REMVAL_MASK |
4 |
public static final int |
REMVALbitvector |
4 |
choco.cp.solver.variables.real.RealVarEvent<C extends AbstractSConstraint & RealPropagator> | ||
---|---|---|
public static final int |
BOUNDSEVENT |
3 |
public static final int |
DECSUP |
1 |
public static final int |
EMPTYEVENT |
0 |
public static final int |
INCINF |
0 |
public static final int |
INFEVENT |
1 |
public static final int |
SUPEVENT |
2 |
choco.cp.solver.variables.set.SetVarEvent<C extends AbstractSConstraint & SetPropagator> | ||
---|---|---|
public static final int |
ADDKER |
1 |
public static final int |
ADDKER_MASK |
2 |
public static final int |
ENVEVENT |
1 |
public static final int |
INSTSET |
2 |
public static final int |
INSTSET_MASK |
4 |
public static final int |
INSTSETEVENT |
4 |
public static final int |
KEREVENT |
2 |
public static final int |
REMENV |
0 |
public static final int |
REMENV_MASK |
1 |
choco.kernel.* |
---|
choco.kernel.common.Constant | ||
---|---|---|
public static final int |
INITIAL_STATIC_CAPACITY |
16 |
public static final int |
INITIAL_STORED_CAPACITY |
16 |
public static final int |
MCR_PRECISION |
4 |
public static final int |
SET_INITIAL_CAPACITY |
8 |
public static final int |
STORED_OFFSET |
1000000 |
choco.kernel.common.HashCoding | ||
---|---|---|
public static final int |
SEED |
23 |
choco.kernel.common.TimeCacheThread | ||
---|---|---|
public static final int |
CHOCO_MS_TIME_PRECISION |
200 |
choco.kernel.common.logging.ChocoLogging | ||
---|---|---|
public static final String |
START_MESSAGE |
"** CHOCO : Constraint Programming Solver\n** CHOCO v2.1.5 (August, 2012), Copyleft (c) 1999-2012" |
choco.kernel.common.opres.graph.GraphDTC | ||
---|---|---|
public static final int |
ADDED |
0 |
public static final int |
CYCLE |
1 |
public static final int |
EXISTING |
4 |
public static final int |
INTERNAL_ERROR |
3 |
public static final int |
TRANSITIVE |
2 |
choco.kernel.common.opres.ssp.AbstractSubsetSumSolver | ||
---|---|---|
protected static final int |
NONE |
-1 |
choco.kernel.common.util.tools.MathUtils | ||
---|---|---|
public static final double |
ROUNDED_LOG_PRECISION |
10000.0 |
choco.kernel.common.util.tools.PropertyUtils | ||
---|---|---|
public static final String |
TOOLS_PREFIX |
"tools." |
choco.kernel.memory.IStateBinaryTree | ||
---|---|---|
public static final int |
ADD |
2 |
public static final int |
INF |
0 |
public static final int |
REM |
3 |
public static final int |
SUP |
1 |
choco.kernel.memory.IStateDoubleVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.IStateInt | ||
---|---|---|
public static final int |
MAXINT |
2147483646 |
public static final int |
MININT |
-2147483648 |
public static final int |
UNKNOWN_INT |
2147483647 |
choco.kernel.memory.IStateIntVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.IStateLong | ||
---|---|---|
public static final long |
UNKNOWN_LONG |
9223372036854775807L |
choco.kernel.memory.IStateLongVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.IStateVector<E> | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.copy.RcDoubleVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.copy.RcIntVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.copy.RcLongVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.copy.RecomputableElement | ||
---|---|---|
public static final int |
BOOL |
0 |
public static final int |
DOUBLE |
7 |
public static final int |
DOUBLEVECTOR |
5 |
public static final int |
INT |
1 |
public static final int |
INTVECTOR |
3 |
public static final int |
LONG |
6 |
public static final int |
LONGVECTOR |
4 |
public static final int |
NB_TYPE |
9 |
public static final int |
OBJECT |
8 |
public static final int |
VECTOR |
2 |
choco.kernel.memory.trailing.StoredDoubleVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.trailing.StoredIntVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.memory.trailing.StoredLongVector | ||
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
choco.kernel.model.constraints.ITemporalRelation<T extends ITaskVariable<V>,V> | ||
---|---|---|
public static final int |
BWD |
0 |
public static final int |
FWD |
1 |
choco.kernel.model.variables.IHook | ||
---|---|---|
public static final int |
NO_HOOK |
-2147483648 |
choco.kernel.solver.Configuration | ||
---|---|---|
public static final String |
BOTTOM_UP |
"cp.search.bottom_up" |
public static final String |
CARD_REASONNING |
"cp.propagation.cardinality_reasonning" |
public static final String |
CEQ_ORDER |
"cp.propagation.constraints.order" |
public static final String |
HORIZON_UPPER_BOUND |
"cp.scheduling.horizon" |
public static final String |
INIT_DESTRUCTIVE_LOWER_BOUND |
"cp.init.propagation.dLB" |
public static final String |
INIT_DLB_SHAVING |
"cp.init.propagation.shaving.dLB" |
public static final String |
INIT_SHAVE_ONLY_DECISIONS |
"cp.init.propagation.shaving.only_decision_vars" |
public static final String |
INIT_SHAVING |
"cp.init.propagation.shaving" |
public static final String |
NOGOOD_RECORDING_FROM_RESTART |
"cp.restart.nogood_recording" |
public static final String |
RANDOM_SEED |
"cp.random.seed" |
public static final String |
RATION_HOLE |
"cp.domain.rationHole" |
public static final String |
REAL_PRECISION |
"cp.real.precision" |
public static final String |
REAL_REDUCTION |
"cp.real.reduction" |
public static final String |
RECOMPUTATION_GAP |
"cp.recomputation.gap" |
public static final String |
RESOLUTION_POLICY |
"cp.resolution.policy" |
public static final String |
RESTART_AFTER_SOLUTION |
"cp.restart.after_solution" |
public static final String |
RESTART_BASE |
"cp.restart.base" |
public static final String |
RESTART_GEOM_GROW |
"cp.restart.geometrical.grow" |
public static final String |
RESTART_GEOMETRICAL |
"cp.restart.geometrical" |
public static final String |
RESTART_LIMIT |
"cp.restart.limit.type" |
public static final String |
RESTART_LIMIT_BOUND |
"cp.restart.limit.value" |
public static final String |
RESTART_LUBY |
"cp.restart.luby" |
public static final String |
RESTART_LUBY_GROW |
"cp.restart.luby.grow" |
public static final String |
RESTART_POLICY_LIMIT |
"cp.restart.policy.limit.type" |
public static final String |
RESTORE_BEST_SOLUTION |
"cp.solution.restore" |
public static final String |
SEARCH_LIMIT |
"cp.search.limit.type" |
public static final String |
SEARCH_LIMIT_BOUND |
"cp.search.limit.value" |
public static final String |
SOLUTION_POOL_CAPACITY |
"cp.solution.pool_capacity" |
public static final String |
STOP_AT_FIRST_SOLUTION |
"cp.resolution.stop_at_first_solution" |
protected static final String |
VALUE_FALSE |
"false" |
protected static final String |
VALUE_OFF |
"OFF" |
protected static final String |
VALUE_TRUE |
"true" |
public static final String |
VEQ_ORDER |
"cp.propagation.variables.order" |
choco.kernel.solver.Solution | ||
---|---|---|
public static final int |
NULL |
2147483647 |
choco.kernel.solver.branch.AbstractBranchingStrategy | ||
---|---|---|
public static final String |
LOG_DECISION_MSG_ASSIGN |
"==" |
public static final String |
LOG_DECISION_MSG_REMOVE |
" != " |
public static final String |
LOG_DOWN_MSG |
"down branch " |
public static final String |
LOG_UP_MSG |
"up branch " |
choco.kernel.solver.constraints.Formula | ||
---|---|---|
public static final int |
ALL_DIFFERENT |
9 |
public static final int |
EQUAL_XC |
0 |
public static final int |
EQUAL_XYC |
4 |
public static final int |
GLOBAL_CARDINALITY |
10 |
public static final int |
GREATER_OR_EQUAL_XC |
2 |
public static final int |
GREATER_OR_EQUAL_XYC |
6 |
public static final int |
INT_LIN_COMB |
7 |
public static final int |
LESS_OR_EQUAL_XC |
3 |
public static final int |
NOT_EQUAL_XC |
1 |
public static final int |
NOT_EQUAL_XYC |
5 |
public static final int |
NTH |
11 |
public static final int |
OCCURRENCE |
8 |
public static final int |
TIMES_XYZ |
12 |
choco.kernel.solver.propagation.event.TaskVarEvent<C extends AbstractSConstraint & TaskPropagator> | ||
---|---|---|
public static final int |
HYPDOMMOD |
0 |
public static final int |
HYPDOMMODbitvector |
1 |
choco.kernel.solver.propagation.event.VarEvent<E extends Var> | ||
---|---|---|
public static final int |
DOWDCAUSE |
-2147483648 |
public static final int |
EMPTYEVENT |
0 |
public static final int |
NOCAUSE |
-1 |
public static final int |
NOEVENT |
-2 |
choco.kernel.solver.search.AbstractGlobalSearchStrategy | ||
---|---|---|
public static final int |
DOWN_BRANCH |
4 |
public static final int |
INIT_SEARCH |
0 |
public static final int |
OPEN_NODE |
1 |
public static final int |
RESTART |
8 |
public static final int |
STOP |
16 |
public static final int |
UP_BRANCH |
2 |
choco.kernel.solver.search.limit.NoLimit | ||
---|---|---|
public static final String |
NO_LIMIT_UNIT |
"unlimited" |
choco.kernel.solver.search.restart.NoRestartStrategy | ||
---|---|---|
public static final String |
NO_RESTART_NAME |
"NO_RESTART" |
choco.kernel.solver.variables.integer.IntDomainVar | ||
---|---|---|
public static final int |
BINARYTREE |
3 |
public static final int |
BIPARTITELIST |
4 |
public static final int |
BITSET |
0 |
public static final int |
BOOLEAN |
5 |
public static final int |
BOUNDS |
1 |
public static final int |
LINKEDLIST |
2 |
public static final int |
ONE_VALUE |
6 |
choco.kernel.solver.variables.real.RealMath | ||
---|---|---|
public static final double |
NEG_ZER0 |
-0.0 |
public static final double |
ZERO |
0.0 |
choco.kernel.solver.variables.real.RealVar | ||
---|---|---|
public static final int |
BOUNDS |
0 |
choco.kernel.solver.variables.scheduling.AbstractRTask | ||
---|---|---|
public static final int |
ELIMINATED |
0 |
public static final int |
REGULAR |
1 |
choco.kernel.solver.variables.scheduling.IRTask | ||
---|---|---|
public static final int |
ELIMINATED |
0 |
public static final int |
REGULAR |
1 |
choco.kernel.solver.variables.set.SetVar | ||
---|---|---|
public static final int |
BOUNDSET_BOUNDCARD |
0 |
public static final int |
BOUNDSET_CONSTANT |
2 |
public static final int |
BOUNDSET_ENUMCARD |
1 |
choco.visu.* |
---|
choco.visu.components.ColorConstant | ||
---|---|---|
public static final int |
BLACK |
0 |
public static final int |
BLUE |
-10455842 |
public static final int |
BROWN1 |
-8235451 |
public static final int |
BROWN2 |
-10802150 |
public static final int |
BROWN3 |
-2244485 |
public static final int |
BROWN4 |
-8442330 |
public static final int |
DARKGRAY |
80 |
public static final int |
GRAY |
122 |
public static final int |
GREEN |
-10428812 |
public static final int |
LIGHTBLUE |
-6043674 |
public static final int |
LIGHTGRAY |
200 |
public static final int |
ORANGE |
-1008070 |
public static final int |
PINK |
-1424001 |
public static final int |
RED |
-913109 |
public static final int |
WHITE |
255 |
public static final int |
WHITE2 |
-1644054 |
public static final int |
YELLOW |
-991686 |
choco.visu.components.bricks.AChocoBrick | ||
---|---|---|
public static final int |
CENTER |
0 |
public static final int |
LEFT |
1 |
public static final int |
RIGHT |
2 |
choco.visu.components.chart.ChocoChartFactory | ||
---|---|---|
protected static final int |
DEFAULT_HEIGHT |
600 |
protected static final int |
DEFAULT_WIDTH |
800 |
choco.visu.components.papplets.TreeSearchPApplet | ||
---|---|---|
public static final float |
EDGE_LENGTH |
10.0f |
public static final float |
EDGE_STRENGTH |
0.20000000298023224f |
public static final float |
SPACER_STRENGTH |
1000.0f |
cli.* |
---|
cli.AbstractCmdLine | ||
---|---|---|
public static final String |
CMD |
"java [-jar myCmd.jar| -cp myCmd.jar MyCmd.class] " |
public static final int |
NONE |
-2147483648 |
db.* |
---|
db.DbManager | ||
---|---|---|
public static final int |
DEFAULT_COLUMN_WIDTH |
12 |
db.DbTables | ||
---|---|---|
public static final String |
CALL_IDENTITY |
"CALL IDENTITY()" |
public static final String |
ID |
"ID" |
public static final int |
Mo |
1048576 |
public static final String |
NULL |
"NULL" |
db.DbTableView | ||
---|---|---|
public static final String |
DEFAULT_TOKEN |
"?" |
public static final int |
INDEX_PK |
0 |
public static final int |
OFFSET_PK |
1 |
db.OdbHsqldbBridge | ||
---|---|---|
public static final String |
DBNAME |
"chocodb" |
public static final String |
DIRECTORY_DB_OO |
"database/" |
public static final String |
HSQLDB_OPTIONS |
";sql.enforce_strict_size=true" |
public static final String |
ODB_PATTERN |
"/chocodb.odb" |
parser.absconparseur.* |
---|
parser.absconparseur.InstanceTokens | ||
---|---|---|
public static final String |
ALL_DIFFERENT |
"allDifferent" |
public static final String |
ARITY |
"arity" |
public static final String |
BRACKETS |
"[]{}" |
public static final String |
CONFLICTS |
"conflicts" |
public static final String |
CONSTRAINT |
"constraint" |
public static final String |
CONSTRAINT_PREFIX |
"C" |
public static final String |
CONSTRAINTS |
"constraints" |
public static final String |
COST_SEPARATOR |
":" |
public static final String |
CSP |
"CSP" |
public static final String |
CST |
"cst" |
public static final String |
CUMULATIVE |
"cumulative" |
public static final String |
DEFAULT_COST |
"defaultCost" |
public static final String |
DESCRIPTION |
"description" |
public static final String |
DISCRETE_INTERVAL_END |
"" |
public static final String |
DISCRETE_INTERVAL_SEPARATOR |
".." |
public static final String |
DISCRETE_INTERVAL_START |
"" |
public static final String |
DISJUNCTIVE |
"disjunctive" |
public static final String |
DOMAIN |
"domain" |
public static final String |
DOMAIN_PREFIX |
"D" |
public static final String |
DOMAINS |
"domains" |
public static final String |
ELEMENT |
"element" |
public static final String |
EXPRESSION |
"expression" |
public static final String |
FORMAT |
"format" |
public static final String |
FUNCTION |
"function" |
public static final String |
FUNCTION_PREFIX |
"F" |
public static final String |
FUNCTIONAL |
"functional" |
public static final String |
FUNCTIONS |
"functions" |
public static final String |
GLOBALCARDINALITY |
"globalCardinality" |
public static final String |
INFINITY |
"infinity" |
public static final String |
INITIAL_COST |
"initialCost" |
public static final String |
INSTANCE |
"instance" |
public static final String |
INSTANCE_SCHEMA_1_1 |
"instance_1_1.xsd" |
public static final String |
INSTANCE_SCHEMA_2_0 |
"instance_2_0.xsd" |
public static final String |
INSTANCE_STYLESHEET_1_1 |
"instance_1_1.xsl" |
public static final String |
INSTANCE_STYLESHEET_2_0 |
"instance_2_0.xsl" |
public static final String |
INSTANCE_STYLESHEET_2_1 |
"instance_2_1.xsl" |
public static final String |
LEXLESS |
"lexLess" |
public static final String |
LEXLESSEQ |
"lexLessEq" |
public static final String |
LIST |
"list" |
public static final String |
MAX_CONSTRAINT_ARITY |
"maxConstraintArity" |
public static final String |
MAXIMAL_COST |
"maximalCost" |
public static final String |
MIN_VIOLATED_CONSTRAINTS |
"minViolatedConstraints" |
public static final String |
NAME |
"name" |
public static final String |
NB_CONFLICTS |
"nbConflicts" |
public static final String |
NB_CONSTRAINTS |
"nbConstraints" |
public static final String |
NB_DOMAINS |
"nbDomains" |
public static final String |
NB_FUNCTIONS |
"nbFunctions" |
public static final String |
NB_PREDICATES |
"nbPredicates" |
public static final String |
NB_RELATIONS |
"nbRelations" |
public static final String |
NB_SOLUTIONS |
"nbSolutions" |
public static final String |
NB_SUPPORTS |
"nbSupports" |
public static final String |
NB_TUPLES |
"nbTuples" |
public static final String |
NB_VALUES |
"nbValues" |
public static final String |
NB_VARIABLES |
"nbVariables" |
public static final String |
NIL |
"nil" |
public static final String |
NVALUE |
"nValue" |
public static final String |
PARAMETER_PREFIX |
"X" |
public static final String |
PARAMETERS |
"parameters" |
public static final String |
POSTFIX_EXPRESSION |
"postfixExpression" |
public static final String |
PREDICATE |
"predicate" |
public static final String |
PREDICATE_PREFIX |
"P" |
public static final String |
PREDICATES |
"predicates" |
public static final String |
PREFIX_GLOBAL |
"global:" |
public static final String |
PRESENTATION |
"presentation" |
public static final String |
QCSP |
"QCSP" |
public static final String |
QCSP_PLUS |
"QCSP+" |
public static final String |
REFERENCE |
"reference" |
public static final String |
RELATION |
"relation" |
public static final String |
RELATION_PREFIX |
"R" |
public static final String |
RELATIONS |
"relations" |
public static final String |
SAT |
"SAT" |
public static final String |
SCOPE |
"scope" |
public static final String |
SEMANTICS |
"semantics" |
public static final String |
SOFT |
"soft" |
public static final String |
SOL |
"SOL" |
public static final String |
SOLUTION |
"solution" |
public static final String |
SUPPORTS |
"supports" |
public static final String |
TUPLES_SEPARATOR |
"|" |
public static final String |
TYPE |
"type" |
public static final String |
UNSAT |
"UNSAT" |
public static final String |
VALUE |
"value" |
public static final String |
VALUE_SEPARATOR |
" " |
public static final String |
VALUES |
"values" |
public static final String |
VAR |
"var" |
public static final String |
VARIABLE |
"variable" |
public static final String |
VARIABLE_PREFIX |
"V" |
public static final String |
VARIABLES |
"variables" |
public static final String |
W3C_XML_SCHEMA |
"http://www.w3.org/2001/XMLSchema" |
public static final String |
WCSP |
"WCSP" |
public static final String |
WEIGHTED_SUM |
"weightedSum" |
public static final String |
WHITE_SPACE |
" \t\n\r\f" |
public static final String |
XCSP |
"XCSP " |
public static final String |
XCSP_2_0 |
"XCSP 2.0" |
public static final String |
XCSP_2_1 |
"XCSP 2.1" |
parser.absconparseur.PredicateTokens | ||
---|---|---|
public static final String |
ABS |
"abs" |
public static final String |
ADD |
"add" |
public static final String |
AND |
"and" |
public static final String |
CST |
"cst" |
public static final String |
DISTEQ |
"distEQ" |
public static final String |
DISTGT |
"distGT" |
public static final String |
DISTLT |
"distLT" |
public static final String |
DISTNEQ |
"distNEQ" |
public static final String |
DIV |
"div" |
public static final String |
EQ |
"eq" |
public static final String |
FALSE |
"false" |
public static final String |
GE |
"ge" |
public static final String |
GT |
"gt" |
public static final String |
ID |
"id" |
public static final String |
IF |
"if" |
public static final String |
IFF |
"iff" |
public static final String |
LE |
"le" |
public static final String |
LT |
"lt" |
public static final String |
MAX |
"max" |
public static final String |
MAXCHOCO |
"maxChoco" |
public static final String |
MIN |
"min" |
public static final String |
MINCHOCO |
"minChoco" |
public static final String |
MOD |
"mod" |
public static final String |
MUL |
"mul" |
public static final String |
NE |
"ne" |
public static final String |
NEG |
"neg" |
public static final String |
NOT |
"not" |
public static final String |
OPPSIGN |
"oppSign" |
public static final String |
OR |
"or" |
public static final String |
POW |
"pow" |
public static final String |
SUB |
"sub" |
public static final String |
TRUE |
"true" |
public static final String |
VAR |
"var" |
public static final String |
XOR |
"xor" |
parser.absconparseur.ReflectionManager | ||
---|---|---|
public static final char |
JAR_SEPARATOR_CHAR |
47 |
parser.absconparseur.tools.InstanceCheckerEngine | ||
---|---|---|
public static final String |
DEFAULT_PREFIX |
"inst" |
parser.absconparseur.tools.InstanceParser | ||
---|---|---|
public static final String |
VERSION |
"version 2.1.4 (November 4, 2008)" |
parser.chocogen.* |
---|
parser.chocogen.ObjectFactory | ||
---|---|---|
public static final int |
AC2001 |
2001 |
public static final int |
AC2008 |
2008 |
public static final int |
AC32 |
32 |
parser.flatzinc.* |
---|
parser.flatzinc.ast.PVariable | ||
---|---|---|
public static final String |
OUTPUT |
"output_" |
parser.instances.* |
---|
parser.instances.BasicSettings | ||
---|---|---|
public static final String |
CANCEL_CP_SOLVE |
"tools.cp.cancel" |
public static final String |
LIGHT_MODEL |
"tools.cp.model.light" |
public static final String |
OUTPUT_DIRECTORY |
"tools.output.directory" |
public static final String |
PREPROCESSING_HEURISTICS |
"tools.preprocessing.heuristics" |
public static final String |
PREPROCESSING_TIME_LIMIT |
"tools.preprocessing.limit.time.value" |
public static final String |
RANDOM_TIE_BREAKING |
"tools.random.break_tie" |
public static final String |
RANDOM_VALUE |
"tools.random.value" |
public static final String |
SOLUTION_EXPORT |
"tools.solution.export" |
public static final String |
SOLUTION_REPORT |
"tools.solution.report" |
parser.instances.xcsp.XcspSettings | ||
---|---|---|
public static final String |
EXTERNAL_CHECK |
"xcsp.externalCheck" |
public static final String |
HEURISTIC |
"xcsp.heuristic" |
public static final String |
SINGLETON_CONSISTENCY |
"xcsp.singletonConsistency" |
samples.comparaison.* |
---|
samples.comparaison.RegCRMCRComp | ||
---|---|---|
public static final int |
COR |
1 |
public static final int |
MCR |
2 |
public static final int |
REG |
0 |
samples.multicostregular.* |
---|
samples.multicostregular.planner.InstanceMaker | ||
---|---|---|
public static final int |
A |
3 |
public static final int |
B |
4 |
public static final int |
C |
5 |
public static final int |
D |
6 |
public static final int |
E |
7 |
public static final int |
F |
8 |
public static final int |
G |
9 |
public static final int |
H |
10 |
public static final int |
I |
11 |
public static final int |
J |
12 |
public static final int |
K |
13 |
public static final int |
L |
0 |
public static final int |
M |
14 |
public static final int |
N |
15 |
public static final int |
O |
2 |
public static final int |
P |
1 |
public static final int |
Q |
16 |
public static final int |
S |
17 |
public static final int |
T |
18 |
public static final int |
U |
19 |
public static final int |
V |
20 |
samples.multicostregular.planner.PlanModel | ||
---|---|---|
public static final int |
A |
3 |
public static final int |
B |
4 |
public static final int |
C |
5 |
public static final int |
D |
6 |
public static final int |
E |
7 |
public static final int |
F |
8 |
public static final int |
G |
9 |
public static final int |
H |
10 |
public static final int |
I |
11 |
public static final int |
J |
12 |
public static final int |
K |
13 |
public static final int |
L |
0 |
public static final int |
M |
14 |
public static final int |
N |
15 |
public static final int |
O |
2 |
public static final int |
P |
1 |
public static final int |
Q |
16 |
public static final int |
S |
17 |
public static final int |
T |
18 |
public static final int |
U |
19 |
public static final int |
V |
20 |
samples.random.* |
---|
samples.random.ProportionRandomListGenerator | ||
---|---|---|
protected static final int |
OCCURENCES_LIMIT |
100 |
samples.tutorials.* |
---|
samples.tutorials.database.DbExample | ||
---|---|---|
public static final int |
NB_RUNS |
3 |
public static final int |
TIME_LIMIT |
5000 |
samples.tutorials.lns.lns.LNSCPConfiguration | ||
---|---|---|
public static final String |
LNS_INIT_SEARCH_LIMIT |
"lns.initial.cp.search.limit.type" |
public static final String |
LNS_INIT_SEARCH_LIMIT_BOUND |
"lns.initial.cp.search.limit.value" |
public static final String |
LNS_NEIGHBORHOOD_SEARCH_LIMIT |
"lns.neighborhood.cp.search.limit.type" |
public static final String |
LNS_NEIGHBORHOOD_SEARCH_LIMIT_BOUND |
"lns.neighborhood.cp.search.limit.value" |
public static final String |
LNS_RUN_LIMIT_NUMBER |
"lns.run.limit.number" |
public static final String |
LNS_USE |
"lns.use" |
samples.tutorials.to_sort.packing.BinPackingInstances | ||
---|---|---|
public static final int |
CAPACITY |
120 |
public static final int |
CAPACITY_N |
100 |
public static final int |
OPT_0 |
50 |
public static final int |
OPT_C |
23 |
public static final int |
OPT_H |
46 |
public static final int |
OPT_N |
25 |
public static final int |
OPT_S |
43 |
samples.tutorials.to_sort.scheduling.CumulativeScheduling | ||
---|---|---|
protected static final int |
N |
14 |
protected static final int |
NF |
3 |
protected static final int |
NT |
11 |
samples.tutorials.to_sort.scheduling.PertCPM | ||
---|---|---|
public final int |
nbTasks |
10 |
trace.* |
---|
trace.CPVizConstant | ||
---|---|---|
public static final String |
ALL |
"all" |
public static final String |
C_CONF_TAG_IN |
"<configuration version=\"1.0\" directory=\"{}\" >" |
public static final String |
C_CONF_TAG_OUT |
"</configuration>" |
public static final String |
C_TOOL_TAG |
"\t<tool show=\"{}\" type=\"{}\" display=\"{}\" repeat=\"{}\" width=\"{}\" height=\"{}\" fileroot=\"{}\" />" |
public static final String |
COMPACT |
"compact" |
public static final String |
EXPANDED |
"expanded" |
public static final String |
FINAL |
"final" |
public static final String |
GRAPH |
"graph" |
public static final String |
HEADER |
"<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<!-- choco-solver -->" |
public static final String |
I |
"i" |
public static final String |
LAYOUT |
"layout" |
public static final String |
minusI |
"-i" |
public static final String |
T_FAIL_TAG |
"\t<fail id=\"{}\" parent=\"{}\" name=\"{}\" size=\"{}\" value=\"{}\" />" |
public static final String |
T_ROOT_TAG |
"\t<root id=\"0\" />" |
public static final String |
T_SUCC_TAG |
"\t<succ id=\"{}\" />" |
public static final String |
T_TREE_TAG_IN |
"<tree version=\"1.0\" >" |
public static final String |
T_TREE_TAG_OUT |
"</tree>" |
public static final String |
T_TRY_TAG |
"\t<try id=\"{}\" parent=\"{}\" name=\"{}\" size=\"{}\" value=\"{}\" />" |
public static final String |
V_ARGUMENT_TAG_IN |
"{}<argument index=\"{}\">" |
public static final String |
V_ARGUMENT_TAG_OUT |
"{}</argument>" |
public static final String |
V_COLLECTION_TAG_IN |
"{}<collection index=\"{}\">" |
public static final String |
V_COLLECTION_TAG_OUT |
"{}</collection>" |
public static final String |
V_DVAR_TAG |
"{}<dvar index=\"{}\" domain=\"{}\" />" |
public static final String |
V_FAILED_TAG |
"{}<failed index=\"{}\" group=\"{}\" value=\"{}\"/>" |
public static final String |
V_FOCUS_NO_TYPE_TAG |
"{}<focus index=\"{}\" group=\"{}\" />" |
public static final String |
V_FOCUS_TAG |
"{}<focus index=\"{}\" group=\"{}\" type=\"{}\"/>" |
public static final String |
V_INTEGER_TAG |
"{}<integer index=\"{}\" value=\"{}\" />" |
public static final String |
V_OTHER_TAG |
"{}<other index=\"{}\" value=\"{}\" />" |
public static final String |
V_SINTEGER_TAG |
"{}<sinteger index=\"{}\" value=\"{}\" />" |
public static final String |
V_STATE_TAG_IN |
"\t<state id=\"{}\" tree_node=\"{}\" >" |
public static final String |
V_STATE_TAG_OUT |
"\t</state>" |
public static final String |
V_SVAR_TAG |
"{}<svar index=\"{}\" low=\"{}\" high=\"{}\" />" |
public static final String |
V_TUPLE_TAG_IN |
"{}<tuple index=\"{}\">" |
public static final String |
V_TUPLE_TAG_OUT |
"{}</tuple>" |
public static final String |
V_VISUALIZATION_TAG_IN |
"<visualization version=\"1.0\" >" |
public static final String |
V_VISUALIZATION_TAG_OUT |
"</visualization>" |
public static final String |
V_VISUALIZER_STATE_TAG_IN |
"\t\t<visualizer_state id=\"{}\" >" |
public static final String |
V_VISUALIZER_STATE_TAG_OUT |
"\t\t</visualizer_state>" |
public static final String |
V_VISUALIZER_TAG |
"\t<visualizer id=\"{}\" type=\"{}\" display=\"{}\" width=\"{}\" height=\"{}\" {}/>" |
public static final String |
VALUES |
"values" |
trace.visualizers.* |
---|
trace.visualizers.Writer | ||
---|---|---|
public static final String |
_1 |
"1" |
public static final String |
_2 |
"2" |
public static final String |
_3 |
"3" |
public static final String |
_S |
" " |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |