|
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 rt, IntVar x) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, IntVar x, IntRelType rt, SetVar s) |
| Post propagator for . More...
|
|
void | Gecode::rel (Home home, SetVar s, IntRelType rt, IntVar x, Reify r) |
| Post reified propagator for . More...
|
|
void | Gecode::rel (Home home, IntVar x, IntRelType rt, SetVar s, Reify r) |
| Post reified propagator for. More...
|
|
Post propagator for | Gecode::f$ (x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home |
|
void | Gecode::ite (Home home, BoolVar b, SetVar x, SetVar y, SetVar z) |
| Post propagator for if-then-else constraint. More...
|
|
Post propagator that propagates that a x is convex void | Gecode::convex (Home home, SetVar x) |
|
Post propagator that propagates that a y is the convex hull of a x void | Gecode::convex (Home home, SetVar x, SetVar y) |
|
Select first unassigned variable SetVarBranch | Gecode::SET_VAR_NONE (void) |
|
Select random | Gecode::variable (uniform distribution, for tie breaking) SetVarBranch SET_VAR_RND(Rnd r) |
|
Select variable with least merit according to branch merit function a bm SetVarBranch | Gecode::SET_VAR_MERIT_MIN (SetBranchMerit bm, BranchTbl tbl=nullptr) |
|
Select variable with highest merit according to branch merit function a bm SetVarBranch | Gecode::SET_VAR_MERIT_MAX (SetBranchMerit bm, BranchTbl tbl=nullptr) |
|
Select variable with smallest degree SetVarBranch | Gecode::SET_VAR_DEGREE_MIN (BranchTbl tbl=nullptr) |
|
Select variable with largest degree SetVarBranch | Gecode::SET_VAR_DEGREE_MAX (BranchTbl tbl=nullptr) |
|
Select variable with smallest accumulated failure count with decay factor a d SetVarBranch | Gecode::SET_VAR_AFC_MIN (double d=1.0, BranchTbl tbl=nullptr) |
|
Select variable with smallest accumulated failure count SetVarBranch | Gecode::SET_VAR_AFC_MIN (SetAFC a, BranchTbl tbl=nullptr) |
|
Select variable with largest accumulated failure count with decay factor a d SetVarBranch | Gecode::SET_VAR_AFC_MAX (double d=1.0, BranchTbl tbl=nullptr) |
|
Select variable with largest accumulated failure count SetVarBranch | Gecode::SET_VAR_AFC_MAX (SetAFC a, BranchTbl tbl=nullptr) |
|
Select variable with lowest action with decay factor a d SetVarBranch | Gecode::SET_VAR_ACTION_MIN (double d=1.0, BranchTbl tbl=nullptr) |
|
Select variable with lowest action SetVarBranch | Gecode::SET_VAR_ACTION_MIN (SetAction a, BranchTbl tbl=nullptr) |
|
Select variable with highest action with decay factor a d SetVarBranch | Gecode::SET_VAR_ACTION_MAX (double d=1.0, BranchTbl tbl=nullptr) |
|
Select variable with highest action SetVarBranch | Gecode::SET_VAR_ACTION_MAX (SetAction a, BranchTbl tbl=nullptr) |
|
Select variable with lowest CHB Q score SetVarBranch | Gecode::SET_VAR_CHB_MIN (BranchTbl tbl=nullptr) |
|
Select variable with lowest CHB Q score SetVarBranch | Gecode::SET_VAR_CHB_MIN (SetCHB c, BranchTbl tbl=nullptr) |
|
Select variable with highest CHB Q score SetVarBranch | Gecode::SET_VAR_CHB_MAX (BranchTbl tbl=nullptr) |
|
Select variable with highest CHB Q score SetVarBranch | Gecode::SET_VAR_CHB_MAX (SetCHB c, BranchTbl tbl=nullptr) |
|
Select variable with smallest minimum unknown element SetVarBranch | Gecode::SET_VAR_MIN_MIN (BranchTbl tbl=nullptr) |
|
Select variable with largest minimum unknown element SetVarBranch | Gecode::SET_VAR_MIN_MAX (BranchTbl tbl=nullptr) |
|
Select variable with smallest maximum unknown element SetVarBranch | Gecode::SET_VAR_MAX_MIN (BranchTbl tbl=nullptr) |
|
Select variable with largest maximum unknown element SetVarBranch | Gecode::SET_VAR_MAX_MAX (BranchTbl tbl=nullptr) |
|
Select variable with smallest unknown set SetVarBranch | Gecode::SET_VAR_SIZE_MIN (BranchTbl tbl=nullptr) |
|
Select variable with largest unknown set SetVarBranch | Gecode::SET_VAR_SIZE_MAX (BranchTbl tbl=nullptr) |
|
Select variable with smallest degree divided by domain size SetVarBranch | Gecode::SET_VAR_DEGREE_SIZE_MIN (BranchTbl tbl=nullptr) |
|
Select variable with largest degree divided by domain size SetVarBranch | Gecode::SET_VAR_DEGREE_SIZE_MAX (BranchTbl tbl=nullptr) |
|
Select variable with smallest accumulated failure count divided by domain size with decay factor a d SetVarBranch | Gecode::SET_VAR_AFC_SIZE_MIN (double d=1.0, BranchTbl tbl=nullptr) |
|
Select variable with smallest accumulated failure count divided by domain size SetVarBranch | Gecode::SET_VAR_AFC_SIZE_MIN (SetAFC a, BranchTbl tbl=nullptr) |
|
Select variable with largest accumulated failure count divided by domain size with decay factor a d SetVarBranch | Gecode::SET_VAR_AFC_SIZE_MAX (double d=1.0, BranchTbl tbl=nullptr) |
|
Select variable with largest accumulated failure count divided by domain size SetVarBranch | Gecode::SET_VAR_AFC_SIZE_MAX (SetAFC a, BranchTbl tbl=nullptr) |
|
Select variable with smallest action divided by domain size with decay factor a d SetVarBranch | Gecode::SET_VAR_ACTION_SIZE_MIN (double d=1.0, BranchTbl tbl=nullptr) |
|
Select variable with smallest action divided by domain size SetVarBranch | Gecode::SET_VAR_ACTION_SIZE_MIN (SetAction a, BranchTbl tbl=nullptr) |
|
Select variable with largest action divided by domain size with decay factor a d SetVarBranch | Gecode::SET_VAR_ACTION_SIZE_MAX (double d=1.0, BranchTbl tbl=nullptr) |
|
Select variable with largest action divided by domain size SetVarBranch | Gecode::SET_VAR_ACTION_SIZE_MAX (SetAction a, BranchTbl tbl=nullptr) |
|
Select variable with smallest CHB Q score divided by domain size SetVarBranch | Gecode::SET_VAR_CHB_SIZE_MIN (BranchTbl tbl=nullptr) |
|
Select variable with smallest CHB Q score divided by domain size SetVarBranch | Gecode::SET_VAR_CHB_SIZE_MIN (SetCHB c, BranchTbl tbl=nullptr) |
|
Select variable with largest CHB Q score divided by domain size SetVarBranch | Gecode::SET_VAR_CHB_SIZE_MAX (BranchTbl tbl=nullptr) |
|
Select variable with largest CHB Q score divided by domain size SetVarBranch | Gecode::SET_VAR_CHB_SIZE_MAX (SetCHB c, BranchTbl tbl=nullptr) |
|
Include smallest element SetValBranch | Gecode::SET_VAL_MIN_INC (void) |
|
Exclude smallest element SetValBranch | Gecode::SET_VAL_MIN_EXC (void) |
|
Include median | Gecode::element (rounding downwards) SetValBranch SET_VAL_MED_INC(void) |
|
Include largest element SetValBranch | Gecode::SET_VAL_MAX_INC (void) |
|
Exclude largest element SetValBranch | Gecode::SET_VAL_MAX_EXC (void) |
|
Include random element SetValBranch | Gecode::SET_VAL_RND_INC (Rnd r) |
|
Exclude random element SetValBranch | Gecode::SET_VAL_RND_EXC (Rnd r) |
|
SetValBranch | Gecode::SET_VAL (SetBranchVal v, SetBranchCommit c=nullptr) |
| Select value as defined by the value function v and commit function c. More...
|
|
Include smallest element SetAssign | Gecode::SET_ASSIGN_MIN_INC (void) |
|
Exclude smallest element SetAssign | Gecode::SET_ASSIGN_MIN_EXC (void) |
|
Include largest element SetAssign | Gecode::SET_ASSIGN_MAX_INC (void) |
|
Exclude largest element SetAssign | Gecode::SET_ASSIGN_MAX_EXC (void) |
|
Include random element SetAssign | Gecode::SET_ASSIGN_RND_INC (Rnd r) |
|
Exclude random element SetAssign | Gecode::SET_ASSIGN_RND_EXC (Rnd r) |
|
SetAssign | Gecode::SET_ASSIGN (SetBranchVal v, SetBranchCommit c=nullptr) |
| Select value as defined by the value function v and commit function c. More...
|
|
void | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals. More...
|
|
void | Gecode::branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | Gecode::branch (Home home, SetVar x, SetValBranch vals, SetVarValPrint vvp=nullptr) |
| Branch over x with value selection vals. More...
|
|
void | Gecode::assign (Home home, const SetVarArgs &x, SetVarBranch vars, SetAssign vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Assign all x with variable selection vars and value selection vals. More...
|
|
void | Gecode::assign (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetAssign vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Assign all x with tie-breaking variable selection vars and value selection vals. More...
|
|
void | Gecode::assign (Home home, SetVar x, SetAssign vals, SetVarValPrint vvp=nullptr) |
| Assign x with value selection vals. More...
|
|
void | Gecode::branch (Home home, const SetVarArgs &x, SetValBranch vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with value selection vals. More...
|
|
void | Gecode::assign (Home home, const SetVarArgs &x, SetAssign vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Assign all x with value selection vals. More...
|
|
Variables in a x are interchangeable SymmetryHandle | Gecode::VariableSymmetry (const SetVarArgs &x) |
|
SymmetryHandle | Gecode::VariableSequenceSymmetry (const SetVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
void | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
void | Gecode::branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|
void | Gecode::relax (Home home, const SetVarArgs &x, const SetVarArgs &sx, Rnd r, double p) |
|
void | Gecode::trace (Home home, const SetVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def) |
| Create a tracer for set variables. More...
|
|
void | Gecode::trace (Home home, const SetVarArgs &x, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), SetTracer &t=StdSetTracer::def) |
| Create a tracer for set variables. More...
|
|