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