Modules | |
Variable selection for float variables | |
Value selection for float variables | |
Value selection for assigning float variables | |
Classes | |
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... | |
Typedefs | |
typedef bool(* | Gecode::FloatBranchFilter )(const Space &home, FloatVar x, int i) |
Branch filter function type for float variables. More... | |
typedef double(* | Gecode::FloatBranchMerit )(const Space &home, FloatVar x, int i) |
Branch merit function type for float variables. More... | |
typedef FloatNum(* | Gecode::FloatBranchVal )(const Space &home, FloatVar x, int i) |
Branch value function type for float variables. More... | |
typedef void(* | Gecode::FloatBranchCommit )(Space &home, unsigned int a, FloatVar x, int i, FloatNum n) |
Branch commit function type for float variables. More... | |
Functions | |
BrancherHandle | Gecode::branch (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter fbf=NULL) |
Branch over x with variable selection vars and value selection vals. More... | |
BrancherHandle | Gecode::branch (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatValBranch vals, FloatBranchFilter bf=NULL) |
Branch over x with tie-breaking variable selection vars and value selection vals. More... | |
BrancherHandle | Gecode::branch (Home home, FloatVar x, FloatValBranch vals) |
Branch over x with value selection vals. More... | |
BrancherHandle | Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL) |
Assign all x with value selection vals. More... | |
BrancherHandle | Gecode::assign (Home home, FloatVar x, FloatAssign vals) |
Assign x with value selection vals. More... | |
typedef bool(* Gecode::FloatBranchFilter)(const Space &home, FloatVar x, int i) |
typedef double(* Gecode::FloatBranchMerit)(const Space &home, FloatVar x, int i) |
typedef FloatNum(* Gecode::FloatBranchVal)(const Space &home, FloatVar x, int i) |
typedef void(* Gecode::FloatBranchCommit)(Space &home, unsigned int a, FloatVar x, int i, FloatNum n) |
Branch commit function type for float 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.
BrancherHandle Gecode::branch | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatVarBranch | vars, | ||
FloatValBranch | vals, | ||
FloatBranchFilter | bf | ||
) |
Branch over x with variable selection vars and value selection vals.
Definition at line 43 of file branch.cpp.
BrancherHandle Gecode::branch | ( | Home | home, |
const FloatVarArgs & | x, | ||
TieBreak< FloatVarBranch > | vars, | ||
FloatValBranch | vals, | ||
FloatBranchFilter | bf | ||
) |
Branch over x with tie-breaking variable selection vars and value selection vals.
Definition at line 65 of file branch.cpp.
BrancherHandle Gecode::branch | ( | Home | home, |
FloatVar | x, | ||
FloatValBranch | vals | ||
) |
Branch over x with value selection vals.
Definition at line 141 of file branch.cpp.
BrancherHandle Gecode::assign | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatAssign | fa, | ||
FloatBranchFilter | bf | ||
) |
Assign all x with value selection vals.
Definition at line 147 of file branch.cpp.
BrancherHandle Gecode::assign | ( | Home | home, |
FloatVar | x, | ||
FloatAssign | fa | ||
) |
Assign x with value selection vals.
Definition at line 168 of file branch.cpp.