|
void | Gecode::Set::Limits::check (int n, const char *l) |
| Check whether integer n is in range, otherwise throw overflow exception with information l. More...
|
|
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. More...
|
|
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. More...
|
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i, int j) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, const IntSet &s) |
| Propagates for all . More...
|
|
void | Gecode::cardinality (Home home, SetVar x, unsigned int i, unsigned int j) |
| Propagates . More...
|
|
void | Gecode::cardinality (Home home, const SetVarArgs &x, unsigned int i, unsigned int j) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, SetVar x, SetRelType rt, int i, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::dom (Home home, SetVar x, SetRelType rt, int i, int j, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::dom (Home home, SetVar x, SetRelType rt, const IntSet &s, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::dom (Home home, SetVar x, SetVar d) |
| Constrain domain of x according to domain of d. More...
|
|
void | Gecode::dom (Home home, const SetVarArgs &x, const SetVarArgs &d) |
| Constrain domain of according to domain of for all . More...
|
|
void | Gecode::rel (Home home, SetVar x, SetRelType r, SetVar y) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar x, SetRelType rt, SetVar y, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar s, SetRelType r, IntVar x) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, IntVar x, SetRelType r, SetVar s) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar s, SetRelType rt, IntVar x, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, IntVar x, SetRelType rt, SetVar s, Reify r) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar s, IntRelType r, IntVar x) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, IntVar x, IntRelType r, SetVar s) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetOpType op, const SetVarArgs &x, SetVar y) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetOpType op, const SetVarArgs &x, const IntSet &z, SetVar y) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetOpType op, const IntVarArgs &x, const IntSet &z, SetVar y) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetOpType op, const IntVarArgs &x, SetVar y) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, SetVar z) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, SetVar z) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, const IntSet &x, SetOpType op, SetVar y, SetRelType r, const IntSet &z) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar x, SetOpType op, const IntSet &y, SetRelType r, const IntSet &z) |
| Post propagator for . More...
|
|
void | Gecode::convex (Home home, SetVar x) |
| Post propagator that propagates that x is convex. More...
|
|
void | Gecode::convex (Home home, SetVar x, SetVar y) |
| Post propagator that propagates that y is the convex hull of x. More...
|
|
void | Gecode::sequence (Home home, const SetVarArgs &x) |
| Post propagator for . More...
|
|
void | Gecode::sequence (Home home, const SetVarArgs &y, SetVar x) |
| Post propagator for and . More...
|
|
void | Gecode::atmostOne (Home home, const SetVarArgs &x, unsigned int c) |
| Post propagator for and . More...
|
|
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. More...
|
|
void | Gecode::notMin (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is not the minimal element of s. More...
|
|
void | Gecode::min (Home home, SetVar s, IntVar x, Reify r) |
| Post reified propagator for b iff x is the minimal element of s. More...
|
|
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. More...
|
|
void | Gecode::notMax (Home home, SetVar s, IntVar x) |
| Post propagator that propagates that x is not the maximal element of s. More...
|
|
void | Gecode::max (Home home, SetVar s, IntVar x, Reify r) |
| Post reified propagator for b iff x is the maximal element of s. More...
|
|
void | Gecode::cardinality (Home home, SetVar s, IntVar x) |
| Post propagator for . More...
|
|
void | Gecode::weights (Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y) |
| Post propagator for . More...
|
|
void | Gecode::channel (Home home, const IntVarArgs &x, const SetVarArgs &y) |
| Post propagator for . More...
|
|
void | Gecode::channelSorted (Home home, const IntVarArgs &x, SetVar y) |
| Post propagator for and . More...
|
|
void | Gecode::channel (Home home, const BoolVarArgs &x, SetVar y) |
| Post propagator for . More...
|
|
void | Gecode::channel (Home home, const SetVarArgs &x, const SetVarArgs &y) |
| Post propagator for . More...
|
|
void | Gecode::precede (Home home, const SetVarArgs &x, int s, int t) |
| Post propagator that s precedes t in x. More...
|
|
void | Gecode::precede (Home home, const SetVarArgs &x, const IntArgs &c) |
| Post propagator that successive values in c precede each other in x. More...
|
|
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 . More...
|
|
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 . More...
|
|
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 . More...
|
|
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 . More...
|
|
void | Gecode::element (Home home, const SetVarArgs &x, IntVar y, SetVar z) |
| Post propagator for . More...
|
|
void | Gecode::element (Home home, const IntSetArgs &s, IntVar y, SetVar z) |
| Post propagator for . More...
|
|
void | Gecode::element (Home home, const IntSetArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
| Post propagator for . More...
|
|
void | Gecode::element (Home home, const SetVarArgs &a, IntVar x, int w, IntVar y, int h, SetVar z) |
| Post propagator for . More...
|
|
void | Gecode::wait (Home home, SetVar x, void(*c)(Space &home)) |
| Execute c when x becomes assigned. More...
|
|
void | Gecode::wait (Home home, const SetVarArgs &x, void(*c)(Space &home)) |
| Execute c when all variables in x become assigned. More...
|
|
SetVarBranch | Gecode::SET_VAR_NONE (void) |
| Select first unassigned variable. More...
|
|
SetVarBranch | Gecode::SET_VAR_RND (Rnd r) |
| Select random variable (uniform distribution, for tie breaking) More...
|
|
SetVarBranch | Gecode::SET_VAR_MERIT_MIN (SetBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with least merit according to branch merit function bm. More...
|
|
SetVarBranch | Gecode::SET_VAR_MERIT_MAX (SetBranchMerit bm, BranchTbl tbl=NULL) |
| Select variable with highest merit according to branch merit function bm. More...
|
|
SetVarBranch | Gecode::SET_VAR_DEGREE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree. More...
|
|
SetVarBranch | Gecode::SET_VAR_DEGREE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree. More...
|
|
SetVarBranch | Gecode::SET_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count with decay factor d. More...
|
|
SetVarBranch | Gecode::SET_VAR_AFC_MIN (SetAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count. More...
|
|
SetVarBranch | Gecode::SET_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count with decay factor d. More...
|
|
SetVarBranch | Gecode::SET_VAR_AFC_MAX (SetAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count. More...
|
|
SetVarBranch | Gecode::SET_VAR_ACTIVITY_MIN (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with lowest activity with decay factor d. More...
|
|
SetVarBranch | Gecode::SET_VAR_ACTIVITY_MIN (SetActivity a, BranchTbl tbl=NULL) |
| Select variable with lowest activity. More...
|
|
SetVarBranch | Gecode::SET_VAR_ACTIVITY_MAX (double d=1.0, BranchTbl tbl=NULL) |
| Select variable with highest activity with decay factor d. More...
|
|
SetVarBranch | Gecode::SET_VAR_ACTIVITY_MAX (SetActivity a, BranchTbl tbl=NULL) |
| Select variable with highest activity. More...
|
|
SetVarBranch | Gecode::SET_VAR_MIN_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest minimum unknown element. More...
|
|
SetVarBranch | Gecode::SET_VAR_MIN_MAX (BranchTbl tbl=NULL) |
| Select variable with largest minimum unknown element. More...
|
|
SetVarBranch | Gecode::SET_VAR_MAX_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest maximum unknown element. More...
|
|
SetVarBranch | Gecode::SET_VAR_MAX_MAX (BranchTbl tbl=NULL) |
| Select variable with largest maximum unknown element. More...
|
|
SetVarBranch | Gecode::SET_VAR_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest unknown set. More...
|
|
SetVarBranch | Gecode::SET_VAR_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest unknown set. More...
|
|
SetVarBranch | Gecode::SET_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=NULL) |
| Select variable with smallest degree divided by domain size. More...
|
|
SetVarBranch | Gecode::SET_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=NULL) |
| Select variable with largest degree divided by domain size. More...
|
|
SetVarBranch | Gecode::SET_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...
|
|
SetVarBranch | Gecode::SET_VAR_AFC_SIZE_MIN (SetAFC a, BranchTbl tbl=NULL) |
| Select variable with smallest accumulated failure count divided by domain size. More...
|
|
SetVarBranch | Gecode::SET_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...
|
|
SetVarBranch | Gecode::SET_VAR_AFC_SIZE_MAX (SetAFC a, BranchTbl tbl=NULL) |
| Select variable with largest accumulated failure count divided by domain size. More...
|
|
SetVarBranch | Gecode::SET_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...
|
|
SetVarBranch | Gecode::SET_VAR_ACTIVITY_SIZE_MIN (SetActivity a, BranchTbl tbl=NULL) |
| Select variable with smallest activity divided by domain size. More...
|
|
SetVarBranch | Gecode::SET_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...
|
|
SetVarBranch | Gecode::SET_VAR_ACTIVITY_SIZE_MAX (SetActivity a, BranchTbl tbl=NULL) |
| Select variable with largest activity divided by domain size. More...
|
|
SetValBranch | Gecode::SET_VAL_MIN_INC (void) |
| Include smallest element. More...
|
|
SetValBranch | Gecode::SET_VAL_MIN_EXC (void) |
| Exclude smallest element. More...
|
|
SetValBranch | Gecode::SET_VAL_MED_INC (void) |
| Include median element (rounding downwards) More...
|
|
SetValBranch | Gecode::SET_VAL_MED_EXC (void) |
| Exclude median element (rounding downwards) More...
|
|
SetValBranch | Gecode::SET_VAL_MAX_INC (void) |
| Include largest element. More...
|
|
SetValBranch | Gecode::SET_VAL_MAX_EXC (void) |
| Exclude largest element. More...
|
|
SetValBranch | Gecode::SET_VAL_RND_INC (Rnd r) |
| Include random element. More...
|
|
SetValBranch | Gecode::SET_VAL_RND_EXC (Rnd r) |
| Exclude random element. More...
|
|
SetValBranch | Gecode::SET_VAL (SetBranchVal v, SetBranchCommit c=NULL) |
| Select value as defined by the value function v and commit function c. More...
|
|
SetAssign | Gecode::SET_ASSIGN_MIN_INC (void) |
| Include smallest element. More...
|
|
SetAssign | Gecode::SET_ASSIGN_MIN_EXC (void) |
| Exclude smallest element. More...
|
|
SetAssign | Gecode::SET_ASSIGN_MED_INC (void) |
| Include median element (rounding downwards) More...
|
|
SetAssign | Gecode::SET_ASSIGN_MED_EXC (void) |
| Exclude median element (rounding downwards) More...
|
|
SetAssign | Gecode::SET_ASSIGN_MAX_INC (void) |
| Include largest element. More...
|
|
SetAssign | Gecode::SET_ASSIGN_MAX_EXC (void) |
| Exclude largest element. More...
|
|
SetAssign | Gecode::SET_ASSIGN_RND_INC (Rnd r) |
| Include random element. More...
|
|
SetAssign | Gecode::SET_ASSIGN_RND_EXC (Rnd r) |
| Exclude random element. More...
|
|
SetAssign | Gecode::SET_ASSIGN (SetBranchVal v, SetBranchCommit c=NULL) |
| Select value as defined by the value function v and commit function c. More...
|
|
BrancherHandle | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
BrancherHandle | Gecode::branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
BrancherHandle | Gecode::branch (Home home, SetVar x, SetValBranch vals, SetVarValPrint vvp=NULL) |
| Branch over x with value selection vals. More...
|
|
BrancherHandle | Gecode::assign (Home home, const SetVarArgs &x, SetAssign vals, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Assign all x with value selection vals. More...
|
|
BrancherHandle | Gecode::assign (Home home, SetVar x, SetAssign vals, SetVarValPrint vvp=NULL) |
| Assign x with value selection vals. More...
|
|
SymmetryHandle | Gecode::VariableSymmetry (const SetVarArgs &x) |
| Variables in x are interchangeable. More...
|
|
SymmetryHandle | Gecode::VariableSequenceSymmetry (const SetVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
BrancherHandle | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | Gecode::branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|