|
bool | Gecode::Int::Limits::valid (int n) |
| Return whether integer n is in range. More...
|
|
bool | Gecode::Int::Limits::valid (double n) |
| Return whether double n is in range. More...
|
|
void | Gecode::Int::Limits::check (int n, const char *l) |
| Check whether integer n is in range, otherwise throw out of limits with information l. More...
|
|
void | Gecode::Int::Limits::check (double n, const char *l) |
| Check whether double n is in integer range, otherwise throw out of limits exception with information l. More...
|
|
void | Gecode::Int::Limits::positive (int n, const char *l) |
| Check whether integer n is in range and strictly positive, otherwise throw out of limits with information l. More...
|
|
void | Gecode::Int::Limits::positive (double n, const char *l) |
| Check whether double n is in integer range and strictly postive, otherwise throw out of limits exception with information l. More...
|
|
void | Gecode::Int::Limits::nonnegative (int n, const char *l) |
| Check whether integer n is in range and nonnegative, otherwise throw out of limits with information l. More...
|
|
void | Gecode::Int::Limits::nonnegative (double n, const char *l) |
| Check whether double n is in integer range and nonnegative, otherwise throw out of limits exception with information l. More...
|
|
void | Gecode::Int::Limits::double_check (double n, const char *l) |
| Check whether double n is in exactly representable range, otherwise throw out of limits with information l. 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, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, IntVar x, int l, int m, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, IntVar x, const IntSet &s, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::rel (Home home, IntVar x0, IntRelType r, IntVar x1, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for for all . More...
|
|
void | Gecode::rel (Home home, IntVar x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | Gecode::rel (Home home, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | Gecode::rel (Home home, IntVar x0, IntRelType r, IntVar x1, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, IntVar x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, const IntVarArgs &x, IntRelType r, IntConLevel icl=ICL_DEF) |
| Post propagator for relation among elements in x. More...
|
|
void | Gecode::rel (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
| Post propagator for relation between x and y. More...
|
|
void | Gecode::rel (Home home, BoolVar x0, IntRelType r, BoolVar x1, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::rel (Home home, BoolVar x0, IntRelType r, BoolVar x1, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType r, BoolVar y, IntConLevel icl=ICL_DEF) |
| Post doamin consistent propagator for for all . More...
|
|
void | Gecode::rel (Home home, BoolVar x, IntRelType r, int n, IntConLevel icl=ICL_DEF) |
| Propagates . More...
|
|
void | Gecode::rel (Home home, BoolVar x, IntRelType r, int n, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType r, int n, IntConLevel icl=ICL_DEF) |
| Propagates for all . More...
|
|
void | Gecode::rel (Home home, const BoolVarArgs &x, IntRelType r, 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 r, 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::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, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::member (Home home, const BoolVarArgs &x, BoolVar y, BoolVar b, 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 r, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType r, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, IntVar y, IntRelType r, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType r, int m, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, int n, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, IntVar y, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType r, 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 r, int y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::nvalues (Home home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::nvalues (Home home, const BoolVarArgs &x, IntRelType r, int y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::nvalues (Home home, const BoolVarArgs &x, IntRelType r, 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::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::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::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::linear (Home home, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const IntVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const BoolVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const BoolVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const BoolVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const BoolVarArgs &x, IntRelType r, IntVar y, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType r, int c, BoolVar b, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType r, IntVar y, IntConLevel icl=ICL_DEF) |
| Post propagator for . More...
|
|
void | Gecode::linear (Home home, const IntArgs &a, const BoolVarArgs &x, IntRelType r, IntVar y, BoolVar b, 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...
|
|
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...
|
|
void | Gecode::branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | Gecode::branch (Home home, const IntVarArgs &x, const TieBreakVarBranch< IntVarBranch > &vars, IntValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | Gecode::branch (Home home, IntVar x, IntValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with value selection vals. More...
|
|
void | Gecode::branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | Gecode::branch (Home home, const BoolVarArgs &x, const TieBreakVarBranch< IntVarBranch > &vars, IntValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | Gecode::branch (Home home, BoolVar x, IntValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with value selection vals. More...
|
|
void | Gecode::assign (Home home, const IntVarArgs &x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign all x with value selection vals. More...
|
|
void | Gecode::assign (Home home, IntVar x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign x with value selection vals. More...
|
|
void | Gecode::assign (Home home, const BoolVarArgs &x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign all x with value selection vals. More...
|
|
void | Gecode::assign (Home home, BoolVar x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign x with value selection vals. More...
|
|