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, const SetVarArgs &x , SetRelType r , int i)
Propagates for all .
void Gecode::dom (Home home, SetVar x , SetRelType r , int i, int j)
Propagates .
void Gecode::dom (Home home, const SetVarArgs &x , SetRelType r , int i, int j)
Propagates for all .
void Gecode::dom (Home home, SetVar x , SetRelType r , const IntSet &s)
Propagates .
void Gecode::dom (Home home, const SetVarArgs &x , SetRelType r , const IntSet &s)
Propagates for all .
void Gecode::cardinality (Home home, SetVar x , unsigned int i, unsigned int j)
Propagates .
void Gecode::cardinality (Home home, const SetVarArgs &x , unsigned int i, unsigned int j)
Propagates for all .
void Gecode::dom (Home home, SetVar x , SetRelType rt, int i, Reify r )
Post propagator for .
void Gecode::dom (Home home, SetVar x , SetRelType rt, int i, int j, Reify r )
Post propagator for .
void Gecode::dom (Home home, SetVar x , SetRelType rt, const IntSet &s, Reify r )
Post propagator for .
void Gecode::dom (Home home, SetVar x , SetVar d)
Constrain domain of x according to domain of d .
void Gecode::dom (Home home, const SetVarArgs &x , const SetVarArgs &d)
Constrain domain of according to domain of for all .
void Gecode::rel (Home home, SetVar x , SetRelType r , SetVar y )
Post propagator for .
void Gecode::rel (Home home, SetVar x , SetRelType rt, SetVar y , Reify r )
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 rt, IntVar x , Reify r )
Post propagator for .
void Gecode::rel (Home home, IntVar x , SetRelType rt, SetVar s, Reify r )
Post propagator for .
void Gecode::rel (Home home, SetVar s, IntRelType rt, IntVar x )
Post propagator for .
void Gecode::rel (Home home, IntVar x , IntRelType rt, SetVar s)
Post propagator for .
void Gecode::rel (Home home, SetVar s, IntRelType rt, IntVar x , Reify r )
Post reified propagator for .
void Gecode::rel (Home home, IntVar x , IntRelType rt, SetVar s, Reify r )
Post reified propagator for .
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.
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 .
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 .
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 .
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 .
void Gecode::branch (Home home, SetVar x , SetValBranch vals, SetVarValPrint vvp=nullptr)
Branch over x with value selection vals .
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 .
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 .
void Gecode::assign (Home home, SetVar x , SetAssign vals, SetVarValPrint vvp=nullptr)
Assign x with value selection vals .
void Gecode::branch (Home home, const SetVarArgs &x , SetValBranch vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr)
Branch over x with value selection vals .
void Gecode::assign (Home home, const SetVarArgs &x , SetAssign vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr)
Assign all x with value selection vals .
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.
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.
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.
GECODE_SET_EXPORT void Gecode::relax (Home home, const SetVarArgs &x , const SetVarArgs &sx, Rnd r , double p)
GECODE_SET_EXPORT 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.
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.