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.
Select select(void) const
Return selection strategy.
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.
Value commit class for inclusion.
VoidFunction commit(void) const
Return commit function.
Include median element (rounding downwards)
Class for user-defined value commit.
Which value to select for assignment.
Gecode toplevel namespace
Select select(void) const
Return selection strategy.
Exclude smallest element.