Modifier and Type | Method and Description |
---|---|
static RealStrategy |
custom(VariableSelector<RealVar> varS,
RealValueSelector valS,
RealVar... rvars)
Generic strategy to branch on real variables
|
static RealStrategy |
cyclic_middle(RealVar... reals)
strategy to branch on reals by choosing sequentially the next variable domain to split in two, wrt the middle value
|
static VariableSelector<RealVar> |
cyclic()
Selects sequentially the next non-instantiated real variable to branch on.
|
static RealValueSelector |
max_value_selector()
Selects the variable upper bound
|
static RealValueSelector |
mid_value_selector()
Selects the variable lower bound
|
static RealValueSelector |
min_value_selector()
Selects a value at the middle between the variable lower and upper bounds
|
public static RealStrategy custom(VariableSelector<RealVar> varS, RealValueSelector valS, RealVar... rvars)
varS
- variable selection strategyvalS
- integer selection strategyrvars
- RealVar array to branch onpublic static RealStrategy cyclic_middle(RealVar... reals)
reals
- variables to branch onpublic static VariableSelector<RealVar> cyclic()
public static RealValueSelector mid_value_selector()
public static RealValueSelector min_value_selector()
public static RealValueSelector max_value_selector()
Copyright © 2015. All rights reserved.