Modules | |
Variable selection for float variables | |
Value selection for float variables | |
Value selection for assigning float variables | |
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... | |
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 FloatNumBranch(* | 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, FloatNumBranch nl) |
Branch commit function type for float variables. More... | |
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. More... | |
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. More... | |
BrancherHandle | Gecode::branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=NULL) |
Branch over x with value selection vals. More... | |
BrancherHandle | Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL, FloatVarValPrint vvp=NULL) |
Assign all x with value selection vals. More... | |
BrancherHandle | Gecode::assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=NULL) |
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 FloatNumBranch(* Gecode::FloatBranchVal) (const Space &home, FloatVar x, int i) |
typedef void(* Gecode::FloatBranchCommit) (Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl) |
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 nl is the value description computed by the corresponding branch value function.
Which variable selection.
Which value selection.
BrancherHandle Gecode::branch | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatVarBranch | vars, | ||
FloatValBranch | vals, | ||
FloatBranchFilter | bf, | ||
FloatVarValPrint | vvp | ||
) |
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, | ||
FloatVarValPrint | vvp | ||
) |
Branch over x with tie-breaking variable selection vars and value selection vals.
Definition at line 58 of file branch.cpp.
BrancherHandle Gecode::branch | ( | Home | home, |
FloatVar | x, | ||
FloatValBranch | vals, | ||
FloatVarValPrint | vvp | ||
) |
Branch over x with value selection vals.
Definition at line 107 of file branch.cpp.
BrancherHandle Gecode::assign | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatAssign | fa, | ||
FloatBranchFilter | bf, | ||
FloatVarValPrint | vvp | ||
) |
Assign all x with value selection vals.
Definition at line 113 of file branch.cpp.
BrancherHandle Gecode::assign | ( | Home | home, |
FloatVar | x, | ||
FloatAssign | fa, | ||
FloatVarValPrint | vvp | ||
) |
Assign x with value selection vals.
Definition at line 126 of file branch.cpp.