Functions |
void | Gecode::Set::Limits::check (int n, const char *l) |
| Check whether integer n is in range, otherwise throw overflow exception with information l.
|
void | Gecode::Set::Limits::check (unsigned int n, const char *l) |
| Check whether unsigned int n is in range for cardinality, otherwise throw overflow exception with information l.
|
void | Gecode::Set::Limits::check (const IntSet &s, const char *l) |
| Check whether minimum and maximum of IntSet s is in range, otherwise throw overflow exception with information l.
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i) |
| Propagates .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j) |
| Propagates .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s) |
| Propagates .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, BoolVar b) |
| Post propagator for .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j, BoolVar b) |
| Post propagator for .
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s, BoolVar b) |
| Post propagator for .
|
void | Gecode::cardinality (Home home, SetVar x, unsigned int i, unsigned int j) |
| Propagates .
|
void | Gecode::rel (Home home, SetVar x, SetRelType r, SetVar y) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetVar x, SetRelType r, SetVar y, BoolVar b) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x) |
| Post propagator for .
|
void | Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x, BoolVar b) |
| Post propagator for .
|
void | Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s, BoolVar b) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetVar s, IntRelType r, IntVar x) |
| Post propagator for .
|
void | Gecode::rel (Home home, IntVar x, IntRelType r, SetVar s) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetOpType op, const SetVarArgs &x, SetVar y) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetOpType op, const SetVarArgs &x, const IntSet &z, SetVar y) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetOpType op, const IntVarArgs &x, const IntSet &z, SetVar y) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetOpType op, const IntVarArgs &x, SetVar y) |
| Post propagator for .
|
void | Gecode::rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, SetVar z) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
| Post propagator for .
|
void | Gecode::rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
| Post propagator for .
|
void | Gecode::rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, const IntSet &z) |
| Post propagator for .
|
void | Gecode::convex (Home home, SetVar x) |
| Post propagator that propagates that x is convex.
|
void | Gecode::convex (Home home, SetVar x, SetVar y) |
| Post propagator that propagates that y is the convex hull of x.
|
void | Gecode::sequence (Home home, const SetVarArgs &x) |
| Post propagator for .
|
void | Gecode::sequence (Home home, const SetVarArgs &y, SetVar x) |
| Post propagator for and .
|
void | Gecode::atmostOne (Home home, const SetVarArgs &x, unsigned int c) |
| Post propagator for and .
|
void | Gecode::min (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is the minimal element of s, and that s is not empty.
|
void | Gecode::notMin (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is not the minimal element of s.
|
void | Gecode::min (Home home, SetVar s, IntVar x, BoolVar b) |
| Post reified propagator for b iff x is the minimal element of s.
|
void | Gecode::max (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is the maximal element of s, and that s is not empty.
|
void | Gecode::notMax (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is not the maximal element of s.
|
void | Gecode::max (Home home, SetVar s, IntVar x, BoolVar b) |
| Post reified propagator for b iff x is the maximal element of s.
|
void | Gecode::channelSorted (Home home, const IntVarArgs &x, SetVar y) |
| Post propagator for and .
|
void | Gecode::channel (Home home, const IntVarArgs &x, const SetVarArgs &y) |
| Post propagator for .
|
void | Gecode::channel (Home home, const BoolVarArgs &x, SetVar y) |
| Post propagator for .
|
void | Gecode::cardinality (Home home, SetVar s, IntVar x) |
| Post propagator for .
|
void | Gecode::weights (Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y) |
| Post propagator for .
|
void | Gecode::precede (Home home, const SetVarArgs &x, int s, int t) |
| Post propagator that s precedes t in x.
|
void | Gecode::precede (Home home, const SetVarArgs &x, const IntArgs &c) |
| Post propagator that successive values in c precede each other in x.
|
void | Gecode::element (Home home, SetOpType op, const SetVarArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
| Post propagator for .
|
void | Gecode::element (Home home, SetOpType op, const IntVarArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
| Post propagator for .
|
void | Gecode::element (Home home, SetOpType op, const IntSetArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
| Post propagator for .
|
void | Gecode::element (Home home, SetOpType op, const IntArgs &x, SetVar y, SetVar z, const IntSet &u=IntSet(Set::Limits::min, Set::Limits::max)) |
| Post propagator for .
|
void | Gecode::element (Home home, const SetVarArgs &x, IntVar y, SetVar z) |
| Post propagator for .
|
void | Gecode::element (Home home, const IntSetArgs &s, IntVar y, SetVar z) |
| Post propagator for .
|
void | Gecode::element (Home home, const IntSetArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
| Post propagator for .
|
void | Gecode::element (Home home, const SetVarArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
| Post propagator for .
|
void | Gecode::wait (Home home, SetVar x, void(*c)(Space &home)) |
| Execute c when x becomes assigned.
|
void | Gecode::wait (Home home, const SetVarArgs &x, void(*c)(Space &home)) |
| Execute c when all variables in x become assigned.
|
void | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with variable selection vars and value selection vals.
|
void | Gecode::branch (Home home, const SetVarArgs &x, const TieBreakVarBranch< SetVarBranch > &vars, SetValBranch 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.
|
void | Gecode::branch (Home home, SetVar x, SetValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with value selection vals.
|
void | Gecode::assign (Home home, const SetVarArgs &x, SetAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign all x with value selection vals.
|
void | Gecode::assign (Home home, SetVar x, SetAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign x with value selection vals.
|