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...
|
Modules |
| Selecting set variables |
| Value selection for set variables |
| Assigning set variables |
Typedefs |
typedef bool(* | Gecode::SetBranchFilter )(const Space &home, SetVar x, int i) |
| Branch filter function type for set variables.
|
typedef double(* | Gecode::SetBranchMerit )(const Space &home, SetVar x, int i) |
| Branch merit function type for set variables.
|
typedef int(* | Gecode::SetBranchVal )(const Space &home, SetVar x, int i) |
| Branch value function type for set variables.
|
typedef void(* | Gecode::SetBranchCommit )(Space &home, unsigned int a, SetVar x, int i, int n) |
| Branch commit function type for set variables.
|
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.
|
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.
|
BrancherHandle | Gecode::branch (Home home, SetVar x, SetValBranch vals, SetVarValPrint vvp=NULL) |
| Branch over x with value selection vals.
|
BrancherHandle | Gecode::assign (Home home, const SetVarArgs &x, SetAssign vals, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Assign all x with value selection vals.
|
BrancherHandle | Gecode::assign (Home home, SetVar x, SetAssign vals, SetVarValPrint vvp=NULL) |
| Assign x with value selection vals.
|
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.
|
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.
|