Package | Description |
---|---|
org.chocosolver.solver.search.strategy | |
org.chocosolver.solver.search.strategy.strategy |
Modifier and Type | Method and Description |
---|---|
static IntStrategy |
IntStrategyFactory.custom(VariableSelector<IntVar> VAR_SELECTOR,
IntValueSelector VAL_SELECTOR,
DecisionOperator<IntVar> DEC_OPERATOR,
IntVar... VARS)
Builds your own search strategy
|
static IntStrategy |
IntStrategyFactory.custom(VariableSelector<IntVar> VAR_SELECTOR,
IntValueSelector VAL_SELECTOR,
IntVar... VARS)
Builds your own assignment strategy :
Selects a variable X and a value V to make the decision X = V.
|
static IntStrategy |
IntStrategyFactory.lexico_LB(IntVar... VARS)
Assigns the first non-instantiated variable to its lower bound.
|
static IntStrategy |
IntStrategyFactory.lexico_Neq_LB(IntVar... VARS)
Removes the lower bound value from the domain of the first non-instantiated variable
|
static IntStrategy |
IntStrategyFactory.lexico_Split(IntVar... VARS)
Splits the domain of the first non-instantiated variable.
|
static IntStrategy |
IntStrategyFactory.lexico_UB(IntVar... VARS)
Assigns the first non-instantiated variable to its upper bound.
|
static IntStrategy |
IntStrategyFactory.maxDom_Split(IntVar... VARS)
Splits the domain of the variable of largest domain
|
static IntStrategy |
IntStrategyFactory.maxReg_LB(IntVar... VARS)
Assigns the non-instantiated variable of maximum regret to its lower bound.
|
static IntStrategy |
IntStrategyFactory.minDom_LB(IntVar... VARS)
Assigns the non-instantiated variable of smallest domain size to its lower bound.
|
static IntStrategy |
IntStrategyFactory.minDom_MidValue(IntVar... VARS)
Assigns the non-instantiated variable of smallest domain size to a value at the middle of its domain.
|
static IntStrategy |
IntStrategyFactory.minDom_UB(IntVar... VARS)
Assigns the non-instantiated variable of smallest domain size to its upper bound.
|
static IntStrategy |
IntStrategyFactory.random_bound(IntVar[] VARS)
Randomly selects a variable and assigns it to a value randomly taken in {LB,UB}
i.e. it fixes the variable to one of its bounds
Uses fixed seed 0 by default
|
static IntStrategy |
IntStrategyFactory.random_bound(IntVar[] VARS,
long SEED)
Randomly selects a variable and assigns it to a value randomly taken in {LB,UB}
i.e. it fixes the variable to one of its bounds
|
static IntStrategy |
IntStrategyFactory.random_value(IntVar[] VARS)
Randomly selects a variable and assigns it to a value randomly taken in [LB,UB]
Uses fixed seed 0 by default
|
static IntStrategy |
IntStrategyFactory.random_value(IntVar[] VARS,
long SEED)
Randomly selects a variable and assigns it to a value randomly taken in [LB,UB]
|
Modifier and Type | Class and Description |
---|---|
class |
Once
|
Copyright © 2015. All rights reserved.