36namespace Gecode {
namespace Int {
namespace Branch {
38 ValSelCommitBase<IntView,int>*
135 switch (
ba.select()) {
Which values to select for assignment.
@ SEL_VAL_COMMIT
Select value according to user-defined functions.
@ SEL_MIN
Select smallest value.
@ SEL_MAX
Select largest value.
@ SEL_RND
Select random value.
Which values to select for branching first.
@ SEL_MIN
Select smallest value.
@ SEL_RND
Select random value.
@ SEL_VAL_COMMIT
Select value according to user-defined functions.
@ SEL_MAX
Select largest value.
Select select(void) const
Return selection strategy.
Which values to select for assignment.
Select select(void) const
Return selection strategy.
@ SEL_VAL_COMMIT
Select value according to user-defined functions.
@ SEL_MIN
Select smallest value.
@ SEL_MED
Select greatest value not greater than the median.
@ SEL_RND
Select random value.
@ SEL_MAX
Select largest value.
Which values to select for branching first.
@ SEL_VALUES_MIN
Select all values starting from smallest.
@ SEL_RND
Select random value.
@ SEL_SPLIT_MAX
Select values greater than mean of smallest and largest value.
@ SEL_MIN
Select smallest value.
@ SEL_MAX
Select largest value.
@ SEL_RANGE_MAX
Select the largest range of the variable domain if it has several ranges, otherwise select values gre...
@ SEL_RANGE_MIN
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
@ SEL_VALUES_MAX
Select all values starting from largest.
@ SEL_VAL_COMMIT
Select value according to user-defined functions.
@ SEL_MED
Select greatest value not greater than the median.
@ SEL_SPLIT_MIN
Select values not greater than mean of smallest and largest value.
Select select(void) const
Return selection strategy.
Value commit class for equality.
Value commit class for greater or equal.
Value commit class for greater.
Value commit class for less or equal.
Value selection class for average of view.
Value selection class for maximum of view.
Value selection class for median of view.
Value selection class for mimimum of view.
Value selection class for maximum range of integer view.
Value selection class for minimum range of integer view.
Value selection class for random value of view.
Exception: Unknown value or variable selection passed as argument
BranchCommit commit(void) const
Return commit function.
Class for user-defined value commit.
Base class for value selection and commit.
Class for value selection and commit.
User-defined value selection.
ValSelCommitBase< IntView, int > * valselcommit(Space &home, const IntValBranch &ivb)
Return value and commit for integer views.
Gecode toplevel namespace
IntPropLevel ba(IntPropLevel ipl)
Extract basic or advanced from propagation level.