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.
User-defined value selection.
Exception: Value out of limits
Value selection class for nearest value.
Which values to select for branching first.
Select value nearest to a given value, use smaller one in case of ties.
Select select(void) const
Return selection strategy.
Select the smallest range of the variable domain if it has several ranges, otherwise select values no...
Select select(void) const
Return selection strategy.
Select value near to a given value, decrement values first.
Value commit class for less or equal.
Base class for value selection and commit.
Select value nearest to a given value, use larger one in case of ties.
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.
Exception: Unknown value or variable selection passed as argument
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.
Select all values starting from largest.
Select greatest value not greater than the median.
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 according to user-defined functions.
Select values greater than mean of smallest and largest value.
Value commit class for equality.
Select the largest range of the variable domain if it has several ranges, otherwise select values gre...
Select values not greater than mean of smallest and largest value.
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.
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 greatest value not greater than the median.
Value selection class for nearest value.
Class for user-defined value commit.
Gecode toplevel namespace
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
Select value according to user-defined functions.
#define GECODE_NEVER
Assert that this command is never executed.
Select value near to a given value, increment values first.
Select all values starting from smallest.