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 | |
void | 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... | |
void | 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... | |
void | Gecode::branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=NULL) |
Branch over x with value selection vals. More... | |
void | Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter fbf=NULL, FloatVarValPrint vvp=NULL) |
Assign all x with value selection vals. More... | |
void | Gecode::assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=NULL) |
Assign x with value selection vals. More... | |
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.
void 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.
void 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.
void 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.
void 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.
void Gecode::assign | ( | Home | home, |
FloatVar | x, | ||
FloatAssign | fa, | ||
FloatVarValPrint | vvp | ||
) |
Assign x with value selection vals.
Definition at line 126 of file branch.cpp.