|
bool | Gecode::Int::Limits::valid (int n) |
| Return whether n is in range. More...
|
|
bool | Gecode::Int::Limits::valid (long long int n) |
| Return whether n is in range. More...
|
|
void | Gecode::Int::Limits::check (int n, const char *l) |
| Check whether n is in range, otherwise throw out of limits with information l. More...
|
|
void | Gecode::Int::Limits::check (long long int n, const char *l) |
| Check whether n is in range, otherwise throw out of limits with information l. More...
|
|
void | Gecode::Int::Limits::positive (int n, const char *l) |
| Check whether n is in range and strictly positive, otherwise throw out of limits with information l. More...
|
|
void | Gecode::Int::Limits::positive (long long int n, const char *l) |
| Check whether n is in range and strictly positive, otherwise throw out of limits with information l. More...
|
|
void | Gecode::Int::Limits::nonnegative (int n, const char *l) |
| Check whether n is in range and nonnegative, otherwise throw out of limits with information l. More...
|
|
void | Gecode::Int::Limits::nonnegative (long long int n, const char *l) |
| Check whether n is in integer range and nonnegative, otherwise throw out of limits exception with information l. More...
|
|
bool | Gecode::Int::Limits::overflow_add (int n, int m) |
| Check whether adding n and m would overflow. More...
|
|
bool | Gecode::Int::Limits::overflow_add (long long int n, long long int m) |
| Check whether adding n and m would overflow. More...
|
|
bool | Gecode::Int::Limits::overflow_sub (int n, int m) |
| Check whether subtracting m from n would overflow. More...
|
|
bool | Gecode::Int::Limits::overflow_sub (long long int n, long long int m) |
| Check whether subtracting m from n would overflow. More...
|
|
bool | Gecode::Int::Limits::overflow_mul (int n, int m) |
| Check whether multiplying n and m would overflow. More...
|
|
bool | Gecode::Int::Limits::overflow_mul (long long int n, long long int m) |
| Check whether multiplying n and m would overflow. More...
|
|
Reify | Gecode::eqv (BoolVar x) |
| Use equivalence for reification. More...
|
|
Reify | Gecode::imp (BoolVar x) |
| Use implication for reification. More...
|
|
Reify | Gecode::pmi (BoolVar x) |
| Use reverse implication for reification. More...
|
|
void | Gecode::dom (Home home, IntVar x, int n, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const IntVarArgs &x, int n, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, IntVar x, int l, int m, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const IntVarArgs &x, int l, int m, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, IntVar x, const IntSet &s, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const IntVarArgs &x, const IntSet &s, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, IntVar x, int n, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, IntVar x, int l, int m, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, IntVar x, const IntSet &s, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, IntVar x, IntVar d, IntConLevel icl=ICL_DEF) |
| Constrain domain of x according to domain of d. More...
|
|
void | Gecode::dom (Home home, BoolVar x, BoolVar d, IntConLevel icl=ICL_DEF) |
| Constrain domain of x according to domain of d. More...
|
|
void | Gecode::dom (Home home, const IntVarArgs &x, const IntVarArgs &d, IntConLevel icl=ICL_DEF) |
| Constrain domain of according to domain of for all . More...
|
|
void | Gecode::dom (Home home, const BoolVarArgs &x, const BoolVarArgs &d, IntConLevel icl=ICL_DEF) |
| Constrain domain of according to domain of for all . More...
|
|
void | Gecode::rel (Home home, IntVar x0, IntRelType irt, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | Gecode::rel (Home home, IntVar x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | Gecode::rel (Home home, const IntVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | Gecode::rel (Home home, IntVar x0, IntRelType irt, IntVar x1, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, IntVar x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, const IntVarArgs &x, IntRelType irt, IntConLevel icl=ICL_DEF) |
| Post propagator for relation among elements in x. More...
|
|
void | Gecode::rel (Home home, const IntVarArgs &x, IntRelType irt, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post propagator for relation between x and y. More...
|
|
void | Gecode::rel (Home home, BoolVar x0, IntRelType irt, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::rel (Home home, BoolVar x0, IntRelType irt, BoolVar x1, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType irt, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for for all . More...
|
|
void | Gecode::rel (Home home, BoolVar x, IntRelType irt, int n, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | Gecode::rel (Home home, BoolVar x, IntRelType irt, int n, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType irt, int n, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType irt, const BoolVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for relation between x and y. More...
|
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType irt, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for relation between elements in x. More...
|
|
void | Gecode::rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x0 and x1. More...
|
|
void | Gecode::rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, int n, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x0 and x1. More...
|
|
void | Gecode::rel (Home home, BoolOpType o, const BoolVarArgs &x, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x. More...
|
|
void | Gecode::rel (Home home, BoolOpType o, const BoolVarArgs &x, int n, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean operation on x. More...
|
|
void | Gecode::clause (Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, BoolVar z, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean clause with positive variables x and negative variables y. More...
|
|
void | Gecode::clause (Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, int n, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for Boolean clause with positive variables x and negative variables y. More...
|
|
void | Gecode::ite (Home home, BoolVar b, IntVar x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for if-then-else constraint. More...
|
|
void | Gecode::precede (Home home, const IntVarArgs &x, int s, int t, IntConLevel=ICL_DEF) |
| Post propagator that s precedes t in x. More...
|
|
void | Gecode::precede (Home home, const IntVarArgs &x, const IntArgs &c, IntConLevel=ICL_DEF) |
| Post propagator that successive values in c precede each other in x. More...
|
|
void | Gecode::member (Home home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::member (Home home, const BoolVarArgs &x, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::member (Home home, const IntVarArgs &x, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::member (Home home, const BoolVarArgs &x, BoolVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::element (Home home, IntSharedArray n, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::element (Home home, IntSharedArray n, IntVar x0, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::element (Home home, IntSharedArray n, IntVar x0, int x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::element (Home home, const IntVarArgs &x, IntVar y0, IntVar y1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::element (Home home, const IntVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::element (Home home, const BoolVarArgs &x, IntVar y0, BoolVar y1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::element (Home home, const BoolVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, IntVar z, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, BoolVar z, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::element (Home home, const IntVarArgs &a, IntVar x, int w, IntVar y, int h, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::element (Home home, const BoolVarArgs &a, IntVar x, int w, IntVar y, int h, BoolVar z, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::distinct (Home home, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | Gecode::distinct (Home home, const IntArgs &n, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | Gecode::channel (Home home, const IntVarArgs &x, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | Gecode::channel (Home home, const IntVarArgs &x, int xoff, const IntVarArgs &y, int yoff, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | Gecode::channel (Home home, BoolVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for channeling a Boolean and an integer variable . More...
|
|
void | Gecode::channel (Home home, IntVar x0, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for channeling an integer and a Boolean variable . More...
|
|
void | Gecode::channel (Home home, const BoolVarArgs &x, IntVar y, int o=0, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for channeling Boolean and integer variables . More...
|
|
void | Gecode::sorted (Home home, const IntVarArgs &x, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post propagator that y is x sorted in increasing order. More...
|
|
void | Gecode::sorted (Home home, const IntVarArgs &x, const IntVarArgs &y, const IntVarArgs &z, IntConLevel icl=ICL_DEF) |
| Post propagator that y is x sorted in increasing order. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, IntVar y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, int n, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, IntVar y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntVarArgs &c, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSetArgs &c, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntVarArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSetArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
| Posts a global count (cardinality) constraint. More...
|
|
void | Gecode::nvalues (Home home, const IntVarArgs &x, IntRelType irt, int y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::nvalues (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::nvalues (Home home, const BoolVarArgs &x, IntRelType irt, int y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::nvalues (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::sequence (Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::sequence (Home home, const BoolVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::extensional (Home home, const IntVarArgs &x, DFA d, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for extensional constraint described by a DFA. More...
|
|
void | Gecode::extensional (Home home, const BoolVarArgs &x, DFA d, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for extensional constraint described by a DFA. More...
|
|
void | Gecode::extensional (Home home, const IntVarArgs &x, const TupleSet &t, ExtensionalPropKind epk=EPK_DEF, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::extensional (Home home, const BoolVarArgs &x, const TupleSet &t, ExtensionalPropKind epk=EPK_DEF, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::min (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::min (Home home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::max (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::max (Home home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::argmin (Home home, const IntVarArgs &x, IntVar y, bool tiebreak=true, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::argmax (Home home, const IntVarArgs &x, IntVar y, bool tiebreak=true, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::abs (Home home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::mult (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::divmod (Home home, IntVar x0, IntVar x1, IntVar x2, IntVar x3, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::div (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::mod (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::sqr (Home home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::sqrt (Home home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::pow (Home home, IntVar x0, int n, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::nroot (Home home, IntVar x0, int n, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntVarArgs &x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType irt, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const BoolVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const BoolVarArgs &x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, int c, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType irt, IntVar y, Reify r, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::binpacking (Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntConLevel icl=ICL_DEF) |
| Post propagator for bin packing. More...
|
|
IntSet | Gecode::binpacking (Home home, int d, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, const IntArgs &c, IntConLevel) |
|
void | Gecode::nooverlap (Home home, const IntVarArgs &x, const IntArgs &w, const IntVarArgs &y, const IntArgs &h, IntConLevel icl=ICL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | Gecode::nooverlap (Home home, const IntVarArgs &x, const IntArgs &w, const IntVarArgs &y, const IntArgs &h, const BoolVarArgs &o, IntConLevel icl=ICL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | Gecode::nooverlap (Home home, const IntVarArgs &x0, const IntVarArgs &w, const IntVarArgs &x1, const IntVarArgs &y0, const IntVarArgs &h, const IntVarArgs &y1, IntConLevel icl=ICL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | Gecode::nooverlap (Home home, const IntVarArgs &x0, const IntVarArgs &w, const IntVarArgs &x1, const IntVarArgs &y0, const IntVarArgs &h, const IntVarArgs &y1, const BoolVarArgs &o, IntConLevel icl=ICL_DEF) |
| Post propagator for rectangle packing. More...
|
|
void | Gecode::cumulatives (Home home, const IntVarArgs &m, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntVarArgs &u, const IntArgs &c, bool at_most, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | Gecode::cumulatives (Home home, const IntArgs &m, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntVarArgs &u, const IntArgs &c, bool at_most, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | Gecode::cumulatives (Home home, const IntVarArgs &m, const IntVarArgs &s, const IntArgs &p, const IntVarArgs &e, const IntVarArgs &u, const IntArgs &c, bool at_most, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | Gecode::cumulatives (Home home, const IntArgs &m, const IntVarArgs &s, const IntArgs &p, const IntVarArgs &e, const IntVarArgs &u, const IntArgs &c, bool at_most, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | Gecode::cumulatives (Home home, const IntVarArgs &m, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const IntArgs &c, bool at_most, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | Gecode::cumulatives (Home home, const IntArgs &m, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const IntArgs &c, bool at_most, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | Gecode::cumulatives (Home home, const IntVarArgs &m, const IntVarArgs &s, const IntArgs &p, const IntVarArgs &e, const IntArgs &u, const IntArgs &c, bool at_most, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | Gecode::cumulatives (Home home, const IntArgs &m, const IntVarArgs &s, const IntArgs &p, const IntVarArgs &e, const IntArgs &u, const IntArgs &c, bool at_most, IntConLevel icl=ICL_DEF) |
| Post propagators for the cumulatives constraint. More...
|
|
void | Gecode::unary (Home home, const IntVarArgs &s, const IntArgs &p, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on unary resources. More...
|
|
void | Gecode::unary (Home home, const IntVarArgs &s, const IntArgs &p, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on unary resources. More...
|
|
void | Gecode::unary (Home home, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on unary resources. More...
|
|
void | Gecode::unary (Home home, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on unary resources. More...
|
|
void | Gecode::unary (Home home, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on unary resources. More...
|
|
void | Gecode::unary (Home home, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on unary resources. More...
|
|
void | Gecode::cumulative (Home home, int c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, IntVar c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, int c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, IntVar c, const TaskTypeArgs &t, const IntVarArgs &flex, const IntArgs &fix, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, int c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, IntVar c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, int c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, IntVar c, const IntVarArgs &s, const IntArgs &p, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, int c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, IntVar c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, int c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | Gecode::cumulative (Home home, IntVar c, const IntVarArgs &s, const IntVarArgs &p, const IntVarArgs &e, const IntArgs &u, const BoolVarArgs &m, IntConLevel icl=ICL_DEF) |
| Post propagators for scheduling optional tasks on cumulative resources. More...
|
|
void | Gecode::circuit (Home home, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a circuit. More...
|
|
void | Gecode::circuit (Home home, int offset, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a circuit. More...
|
|
void | Gecode::circuit (Home home, const IntArgs &c, const IntVarArgs &x, const IntVarArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a circuit with costs y and z. More...
|
|
void | Gecode::circuit (Home home, const IntArgs &c, int offset, const IntVarArgs &x, const IntVarArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a circuit with costs y and z. More...
|
|
void | Gecode::circuit (Home home, const IntArgs &c, const IntVarArgs &x, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a circuit with cost z. More...
|
|
void | Gecode::circuit (Home home, const IntArgs &c, int offset, const IntVarArgs &x, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a circuit with cost z. More...
|
|
void | Gecode::path (Home home, const IntVarArgs &x, IntVar s, IntVar e, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a Hamiltonian path. More...
|
|
void | Gecode::path (Home home, int offset, const IntVarArgs &x, IntVar s, IntVar e, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a Hamiltonian path. More...
|
|
void | Gecode::path (Home home, const IntArgs &c, const IntVarArgs &x, IntVar s, IntVar e, const IntVarArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a Hamiltonian path with costs y and z. More...
|
|
void | Gecode::path (Home home, const IntArgs &c, int offset, const IntVarArgs &x, IntVar s, IntVar e, const IntVarArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a Hamiltonian path with costs y and z. More...
|
|
void | Gecode::path (Home home, const IntArgs &c, const IntVarArgs &x, IntVar s, IntVar e, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a Hamiltonian path with cost z. More...
|
|
void | Gecode::path (Home home, const IntArgs &c, int offset, const IntVarArgs &x, IntVar s, IntVar e, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator such that x forms a Hamiltonian path with cost z. More...
|
|
void | Gecode::wait (Home home, IntVar x, void(*c)(Space &home), IntConLevel icl=ICL_DEF) |
| Execute c when x becomes assigned. More...
|
|
void | Gecode::wait (Home home, BoolVar x, void(*c)(Space &home), IntConLevel icl=ICL_DEF) |
| Execute c when x becomes assigned. More...
|
|
void | Gecode::wait (Home home, const IntVarArgs &x, void(*c)(Space &home), IntConLevel icl=ICL_DEF) |
| Execute c when all variables in x become assigned. More...
|
|
void | Gecode::wait (Home home, const BoolVarArgs &x, void(*c)(Space &home), IntConLevel icl=ICL_DEF) |
| Execute c when all variables in x become assigned. More...
|
|
void | Gecode::when (Home home, BoolVar x, void(*t)(Space &home), void(*e)(Space &home)=NULL, IntConLevel icl=ICL_DEF) |
| Execute t (then) when x is assigned one, and e (else) otherwise. More...
|
|
void | Gecode::unshare (Home home, IntVarArgs &x, IntConLevel icl=ICL_DEF) |
| Replace multiple variable occurences in x by fresh variables. More...
|
|
void | Gecode::unshare (Home home, BoolVarArgs &x, IntConLevel icl=ICL_DEF) |
| Replace multiple variable occurences in x by fresh variables. More...
|
|
IntVarBranch | Gecode::INT_VAR_NONE (void) |
| Select first unassigned variable. More...
|
|
IntVarBranch | Gecode::INT_VAR_RND (Rnd r) |
| Select random variable (uniform distribution, for tie breaking) More...
|
|
IntVarBranch | Gecode::INT_VAR_MERIT_MIN (IntBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with least merit according to branch merit function bm. More...
|
|
IntVarBranch | Gecode::INT_VAR_MERIT_MIN (BoolBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with least merit according to branch merit function bm. More...
|
|
IntVarBranch | Gecode::INT_VAR_MERIT_MAX (IntBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
IntVarBranch | Gecode::INT_VAR_MERIT_MAX (BoolBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
IntVarBranch | Gecode::INT_VAR_DEGREE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree. More...
|
|
IntVarBranch | Gecode::INT_VAR_DEGREE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree. More...
|
|
IntVarBranch | Gecode::INT_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
IntVarBranch | Gecode::INT_VAR_AFC_MIN (IntAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count. More...
|
|
IntVarBranch | Gecode::INT_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
IntVarBranch | Gecode::INT_VAR_AFC_MAX (IntAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count. More...
|
|
IntVarBranch | Gecode::INT_VAR_ACTIVITY_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with lowest activity with decay factor d. More...
|
|
IntVarBranch | Gecode::INT_VAR_ACTIVITY_MIN (IntActivity a, BranchTbl tbl=NULL) |
| Select variable with lowest activity. More...
|
|
IntVarBranch | Gecode::INT_VAR_ACTIVITY_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with highest activity with decay factor d. More...
|
|
IntVarBranch | Gecode::INT_VAR_ACTIVITY_MAX (IntActivity a, BranchTbl tbl=NULL) |
| Select variable with highest activity. More...
|
|
IntVarBranch | Gecode::INT_VAR_MIN_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest min. More...
|
|
IntVarBranch | Gecode::INT_VAR_MIN_MAX (BranchTbl tbl=NULL) |
| Select variable with largest min. More...
|
|
IntVarBranch | Gecode::INT_VAR_MAX_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest max. More...
|
|
IntVarBranch | Gecode::INT_VAR_MAX_MAX (BranchTbl tbl=NULL) |
| Select variable with largest max. More...
|
|
IntVarBranch | Gecode::INT_VAR_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest domain size. More...
|
|
IntVarBranch | Gecode::INT_VAR_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest domain size. More...
|
|
IntVarBranch | Gecode::INT_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree divided by domain size. More...
|
|
IntVarBranch | Gecode::INT_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree divided by domain size. More...
|
|
IntVarBranch | Gecode::INT_VAR_AFC_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count divided by domain size with decay factor d. More...
|
|
IntVarBranch | Gecode::INT_VAR_AFC_SIZE_MIN (IntAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count divided by domain size. More...
|
|
IntVarBranch | Gecode::INT_VAR_AFC_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count divided by domain size with decay factor d. More...
|
|
IntVarBranch | Gecode::INT_VAR_AFC_SIZE_MAX (IntAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count divided by domain size. More...
|
|
IntVarBranch | Gecode::INT_VAR_ACTIVITY_SIZE_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size with decay factor d. More...
|
|
IntVarBranch | Gecode::INT_VAR_ACTIVITY_SIZE_MIN (IntActivity a, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size. More...
|
|
IntVarBranch | Gecode::INT_VAR_ACTIVITY_SIZE_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size with decay factor d. More...
|
|
IntVarBranch | Gecode::INT_VAR_ACTIVITY_SIZE_MAX (IntActivity a, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size. More...
|
|
IntVarBranch | Gecode::INT_VAR_REGRET_MIN_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest min-regret. More...
|
|
IntVarBranch | Gecode::INT_VAR_REGRET_MIN_MAX (BranchTbl tbl=NULL) |
| Select variable with largest min-regret. More...
|
|
IntVarBranch | Gecode::INT_VAR_REGRET_MAX_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest max-regret. More...
|
|
IntVarBranch | Gecode::INT_VAR_REGRET_MAX_MAX (BranchTbl tbl=NULL) |
| Select variable with largest max-regret. More...
|
|
IntValBranch | Gecode::INT_VAL_MIN (void) |
| Select smallest value. More...
|
|
IntValBranch | Gecode::INT_VAL_MED (void) |
| Select greatest value not greater than the median. More...
|
|
IntValBranch | Gecode::INT_VAL_MAX (void) |
| Select largest value. More...
|
|
IntValBranch | Gecode::INT_VAL_RND (Rnd r) |
| Select random value. More...
|
|
IntValBranch | Gecode::INT_VAL_SPLIT_MIN (void) |
| Select values not greater than mean of smallest and largest value. More...
|
|
IntValBranch | Gecode::INT_VAL_SPLIT_MAX (void) |
| Select values greater than mean of smallest and largest value. More...
|
|
IntValBranch | Gecode::INT_VAL_RANGE_MIN (void) |
| Select the smallest range of the variable domain if it has several ranges, otherwise select values not greater than mean of smallest and largest value. More...
|
|
IntValBranch | Gecode::INT_VAL_RANGE_MAX (void) |
| Select the largest range of the variable domain if it has several ranges, otherwise select values greater than mean of smallest and largest value. More...
|
|
IntValBranch | Gecode::INT_VAL (IntBranchVal v, IntBranchCommit c=NULL) |
| Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative. More...
|
|
IntValBranch | Gecode::INT_VAL (BoolBranchVal v, BoolBranchCommit c=NULL) |
| Select value as defined by the value function v and commit function c Uses a commit function as default that posts the constraints that a variable x must be equal to a value n for the first alternative and that x must be different from n for the second alternative. More...
|
|
IntValBranch | Gecode::INT_VALUES_MIN (void) |
| Try all values starting from smallest. More...
|
|
IntValBranch | Gecode::INT_VALUES_MAX (void) |
| Try all values starting from largest. More...
|
|
IntValBranch | Gecode::INT_VAL_NEAR_MIN (IntSharedArray n) |
| Try value nearest to a given value for a variable, in case of ties use the smaller value. More...
|
|
IntValBranch | Gecode::INT_VAL_NEAR_MAX (IntSharedArray n) |
| Try value nearest to a given value for a variable, in case of ties use the larger value. More...
|
|
IntValBranch | Gecode::INT_VAL_NEAR_INC (IntSharedArray n) |
| Try value larger than a given value for a variable first. More...
|
|
IntValBranch | Gecode::INT_VAL_NEAR_DEC (IntSharedArray n) |
| Try value smaller than a given value for a variable first. More...
|
|
IntAssign | Gecode::INT_ASSIGN_MIN (void) |
| Select smallest value. More...
|
|
IntAssign | Gecode::INT_ASSIGN_MED (void) |
| Select greatest value not greater than the median. More...
|
|
IntAssign | Gecode::INT_ASSIGN_MAX (void) |
| Select largest value. More...
|
|
IntAssign | Gecode::INT_ASSIGN_RND (Rnd r) |
| Select random value. More...
|
|
IntAssign | Gecode::INT_ASSIGN (IntBranchVal v, IntBranchCommit c=NULL) |
| Select value as defined by the value function v and commit function c. More...
|
|
IntAssign | Gecode::INT_ASSIGN (BoolBranchVal v, BoolBranchCommit c=NULL) |
| Select value as defined by the value function v and commit function c. More...
|
|
BrancherHandle | Gecode::branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, IntBranchFilter bf=NULL, IntVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
BrancherHandle | Gecode::branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, IntBranchFilter bf=NULL, IntVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
BrancherHandle | Gecode::branch (Home home, IntVar x, IntValBranch vals, IntVarValPrint vvp=NULL) |
| Branch over x with value selection vals. More...
|
|
BrancherHandle | Gecode::branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
BrancherHandle | Gecode::branch (Home home, const BoolVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
BrancherHandle | Gecode::branch (Home home, BoolVar x, IntValBranch vals, BoolVarValPrint vvp=NULL) |
| Branch over x with value selection vals. More...
|
|
BrancherHandle | Gecode::assign (Home home, const IntVarArgs &x, IntAssign vals, IntBranchFilter ibf=NULL, IntVarValPrint vvp=NULL) |
| Assign all x with value selection vals. More...
|
|
BrancherHandle | Gecode::assign (Home home, IntVar x, IntAssign vals, IntVarValPrint vvp=NULL) |
| Assign x with value selection vals. More...
|
|
BrancherHandle | Gecode::assign (Home home, const BoolVarArgs &x, IntAssign vals, BoolBranchFilter bbf=NULL, BoolVarValPrint vvp=NULL) |
| Assign all x with value selection vals. More...
|
|
BrancherHandle | Gecode::assign (Home home, BoolVar x, IntAssign vals, BoolVarValPrint vvp=NULL) |
| Assign x with value selection vals. More...
|
|
SymmetryHandle | Gecode::VariableSymmetry (const IntVarArgs &x) |
| Variables in x are interchangeable. More...
|
|
SymmetryHandle | Gecode::VariableSymmetry (const BoolVarArgs &x) |
| Variables in x are interchangeable. More...
|
|
SymmetryHandle | Gecode::VariableSymmetry (const IntVarArgs &x, const IntArgs &indices) |
| Specified variables in x are interchangeable. More...
|
|
SymmetryHandle | Gecode::ValueSymmetry (const IntArgs &v) |
| Values in v are interchangeable. More...
|
|
SymmetryHandle | Gecode::ValueSymmetry (const IntSet &v) |
| Values in v are interchangeable. More...
|
|
SymmetryHandle | Gecode::ValueSymmetry (IntVar vars) |
| All values in the domain of the given variable are interchangeable. More...
|
|
SymmetryHandle | Gecode::VariableSequenceSymmetry (const IntVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
SymmetryHandle | Gecode::VariableSequenceSymmetry (const BoolVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
SymmetryHandle | Gecode::ValueSequenceSymmetry (const IntArgs &v, int ss) |
| Value sequences in v of size ss are interchangeable. More...
|
|
SymmetryHandle | Gecode::values_reflect (int lower, int upper) |
| The values from lower to upper (inclusive) can be reflected. More...
|
|
SymmetryHandle | Gecode::values_reflect (IntVar x) |
| The values in the domain of can be reflected. More...
|
|
BrancherHandle | Gecode::branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, const Symmetries &syms, IntBranchFilter bf=NULL, IntVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | Gecode::branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, const Symmetries &syms, IntBranchFilter bf=NULL, IntVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | Gecode::branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, const Symmetries &syms, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | Gecode::branch (Home home, const BoolVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, const Symmetries &syms, BoolBranchFilter bf=NULL, BoolVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|