Modules | |
Selecting set variables | |
Value selection for set variables | |
Assigning set variables | |
Classes | |
class | Gecode::SetAFC |
Recording AFC information for set variables. More... | |
class | Gecode::SetActivity |
Recording activities for set variables. More... | |
class | Gecode::SetVarBranch |
Which variable to select for branching. More... | |
class | Gecode::SetValBranch |
Which values to select for branching first. More... | |
class | Gecode::SetAssign |
Which value to select for assignment. More... | |
Typedefs | |
typedef bool(* | Gecode::SetBranchFilter) (const Space &home, SetVar x, int i) |
Branch filter function type for set variables. More... | |
typedef double(* | Gecode::SetBranchMerit) (const Space &home, SetVar x, int i) |
Branch merit function type for set variables. More... | |
typedef int(* | Gecode::SetBranchVal) (const Space &home, SetVar x, int i) |
Branch value function type for set variables. More... | |
typedef void(* | Gecode::SetBranchCommit) (Space &home, unsigned int a, SetVar x, int i, int n) |
Branch commit function type for set variables. More... | |
Functions | |
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... | |
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... | |
typedef bool(* Gecode::SetBranchFilter) (const Space &home, SetVar x, int i) |
typedef double(* Gecode::SetBranchMerit) (const Space &home, SetVar x, int i) |
typedef int(* Gecode::SetBranchVal) (const Space &home, SetVar x, int i) |
Branch commit function type for set variables.
The function must post a constraint on the variable x which corresponds to the alternative a. The integer i refers to the variable's position in the original array passed to the brancher. The value n is the value computed by the corresponding branch value function.
Which variable selection.
Which value selection.
Which value selection.
BrancherHandle Gecode::branch | ( | Home | home, |
const SetVarArgs & | x, | ||
SetVarBranch | vars, | ||
SetValBranch | vals, | ||
SetBranchFilter | bf, | ||
SetVarValPrint | vvp | ||
) |
Branch over x with variable selection vars and value selection vals.
Definition at line 42 of file branch.cpp.
BrancherHandle Gecode::branch | ( | Home | home, |
const SetVarArgs & | x, | ||
TieBreak< SetVarBranch > | vars, | ||
SetValBranch | vals, | ||
SetBranchFilter | bf, | ||
SetVarValPrint | vvp | ||
) |
Branch over x with tie-breaking variable selection vars and value selection vals.
Definition at line 57 of file branch.cpp.
BrancherHandle Gecode::branch | ( | Home | home, |
SetVar | x, | ||
SetValBranch | vals, | ||
SetVarValPrint | vvp | ||
) |
Branch over x with value selection vals.
Definition at line 102 of file branch.cpp.
BrancherHandle Gecode::assign | ( | Home | home, |
const SetVarArgs & | x, | ||
SetAssign | sa, | ||
SetBranchFilter | bf, | ||
SetVarValPrint | vvp | ||
) |
Assign all x with value selection vals.
Definition at line 108 of file branch.cpp.
BrancherHandle Gecode::assign | ( | Home | home, |
SetVar | x, | ||
SetAssign | sa, | ||
SetVarValPrint | vvp | ||
) |
Assign x with value selection vals.
Definition at line 121 of file branch.cpp.
BrancherHandle Gecode::branch | ( | Home | home, |
const SetVarArgs & | x, | ||
SetVarBranch | vars, | ||
SetValBranch | vals, | ||
const Symmetries & | syms, | ||
SetBranchFilter | bf, | ||
SetVarValPrint | vvp | ||
) |
BrancherHandle Gecode::branch | ( | Home | home, |
const SetVarArgs & | x, | ||
TieBreak< SetVarBranch > | vars, | ||
SetValBranch | vals, | ||
const Symmetries & | syms, | ||
SetBranchFilter | bf, | ||
SetVarValPrint | vvp | ||
) |