40 namespace Gecode {
namespace Set {
namespace Branch {
42 ValSelCommitBase<SetView,int>*
62 if (svb.
commit() == NULL) {
Which values to select for branching first.
Select value according to user-defined functions.
Include smallest element.
Class for value selection and commit.
User-defined value selection.
Select value according to user-defined functions.
VoidFunction commit(void) const
Return commit function.
Exclude median element (rounding downwards)
Exclude smallest element.
Base class for value selection and commit.
Exclude median element (rounding downwards)
Exception: Unknown value or variable selection passed as argument
Include smallest element.
Include median element (rounding downwards)
ValSelCommitBase< SetView, int > * valselcommit(Space &home, const SetValBranch &svb)
Return value and commit for set views.
Select select(void) const
Return selection strategy.
Value commit class for inclusion.
Select select(void) const
Return selection strategy.
Include median element (rounding downwards)
Class for user-defined value commit.
Which value to select for assignment.
Gecode toplevel namespace
Exclude smallest element.