Classes |
class | Gecode::FloatNumBranch |
| Value description class for branching. More...
|
class | Gecode::FloatAFC |
| Recording AFC information for float variables. More...
|
class | Gecode::FloatActivity |
| Recording activities for float variables. More...
|
class | Gecode::FloatVarBranch |
| Which variable to select for branching. More...
|
class | Gecode::FloatValBranch |
| Which values to select for branching first. More...
|
class | Gecode::FloatAssign |
| Which values to select for assignment. More...
|
Modules |
| Variable selection for float variables |
| Value selection for float variables |
| Value selection for assigning float variables |
Typedefs |
typedef bool(* | Gecode::FloatBranchFilter )(const Space &home, FloatVar x, int i) |
| Branch filter function type for float variables.
|
typedef double(* | Gecode::FloatBranchMerit )(const Space &home, FloatVar x, int i) |
| Branch merit function type for float variables.
|
typedef FloatNumBranch(* | Gecode::FloatBranchVal )(const Space &home, FloatVar x, int i) |
| Branch value function type for float variables.
|
typedef void(* | Gecode::FloatBranchCommit )(Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl) |
| Branch commit function type for float variables.
|
Functions |
BrancherHandle | Gecode::branch (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf=NULL, FloatVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals.
|
BrancherHandle | Gecode::branch (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatValBranch vals, FloatBranchFilter bf=NULL, FloatVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals.
|
BrancherHandle | Gecode::branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=NULL) |
| Branch over x with value selection vals.
|
BrancherHandle | Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL, FloatVarValPrint vvp=NULL) |
| Assign all x with value selection vals.
|
BrancherHandle | Gecode::assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=NULL) |
| Assign x with value selection vals.
|