40 namespace Gecode {
namespace Int {
namespace Branch {
42 ValSelCommitBase<IntView,int>*
72 if (ivb.
commit() == NULL) {
130 if (ia.
commit() == NULL) {
162 if (ivb.
commit() == NULL) {
178 if ((
v[
i] < 0) || (
v[
i] > 1))
221 if (ia.
commit() == NULL) {
Class for value selection and commit.
Select all values starting from smallest.
User-defined value selection.
Exception: Value out of limits
Select values greater than mean of smallest and largest value.
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
Value selection class for nearest value.
Which values to select for branching first.
Select all values starting from largest.
Select select(void) const
Return selection strategy.
Select value according to user-defined functions.
Select values not greater than mean of smallest and largest value.
Select select(void) const
Return selection strategy.
Value commit class for less or equal.
Base class for value selection and commit.
Value commit class for greater.
Value selection class for mimimum of view.
Value selection class for average of view.
Value selection class for random value of view.
Select value nearest to a given value, use smaller one in case of ties.
Exception: Unknown value or variable selection passed as argument
Select greatest value not greater than the median.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Value selection class for minimum range of integer view.
Value selection class for maximum of view.
IntSharedArray values(void) const
Return shared array of values.
Value commit class for greater or equal.
Select value near to a given value, decrement values first.
Select value nearest to a given value, use larger one in case of ties.
Value commit class for equality.
Value selection class for median of view.
ValSelCommitBase< IntView, int > * valselcommitint(Space &home, int n, const IntValBranch &ivb)
Return value and commit for integer views.
Select value according to user-defined functions.
VoidFunction commit(void) const
Return commit function.
Which values to select for assignment.
ValSelCommitBase< BoolView, int > * valselcommitbool(Space &home, int n, const IntValBranch &ivb)
Return value and commit for Boolean views.
Select value near to a given value, increment values first.
Value selection class for nearest value.
Class for user-defined value commit.
Gecode toplevel namespace
Select the largest range of the variable domain if it has several ranges, otherwise select values gre...
Value selection class for maximum range of integer view.
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Exception: Arguments are of different size
#define GECODE_NEVER
Assert that this command is never executed.
Select greatest value not greater than the median.