Topics | |
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::FloatAction |
Recording actions for float variables. More... | |
class | Gecode::FloatCHB |
Recording CHB 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 std::function< bool(const Space &home, FloatVar x, int i)> | Gecode::FloatBranchFilter |
Branch filter function type for float variables. | |
typedef std::function< double(const Space &home, FloatVar x, int i)> | Gecode::FloatBranchMerit |
Branch merit function type for float variables. | |
typedef std::function< FloatNumBranch(const Space &home, FloatVar x, int i)> | Gecode::FloatBranchVal |
Branch value function type for float variables. | |
typedef std::function< void(Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl)> | Gecode::FloatBranchCommit |
Branch commit function type for float variables. |
Functions | |
void | Gecode::branch (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
Branch over x with variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatValBranch vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
Branch over x with tie-breaking variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, FloatVar x, FloatValBranch vals, FloatVarValPrint vvp=nullptr) |
Branch over x with value selection vals. | |
void | Gecode::assign (Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatAssign vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
Assign all x with variable selection vars and value selection vals. | |
void | Gecode::assign (Home home, const FloatVarArgs &x, TieBreak< FloatVarBranch > vars, FloatAssign vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
Assign all x with tie-breaking variable selection vars and value selection vals. | |
void | Gecode::assign (Home home, FloatVar x, FloatAssign vals, FloatVarValPrint vvp=nullptr) |
Assign x with value selection vals. | |
void | Gecode::branch (Home home, const FloatVarArgs &x, FloatValBranch vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
Branch over x with value selection vals. | |
void | Gecode::assign (Home home, const FloatVarArgs &x, FloatAssign vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr) |
Assign all x with value selection vals. |
typedef std::function<bool(const Space& home, FloatVar x, int i)> Gecode::FloatBranchFilter |
typedef std::function<double(const Space& home, FloatVar x, int i)> Gecode::FloatBranchMerit |
typedef std::function<FloatNumBranch(const Space& home, FloatVar x, int i)> Gecode::FloatBranchVal |
typedef std::function<void(Space& home, unsigned int a, FloatVar x, int i, FloatNumBranch nl)> Gecode::FloatBranchCommit |
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 = nullptr, | ||
FloatVarValPrint | vvp = nullptr ) |
Branch over x with variable selection vars and value selection vals.
Definition at line 39 of file branch.cpp.
void Gecode::branch | ( | Home | home, |
const FloatVarArgs & | x, | ||
TieBreak< FloatVarBranch > | vars, | ||
FloatValBranch | vals, | ||
FloatBranchFilter | bf = nullptr, | ||
FloatVarValPrint | vvp = nullptr ) |
Branch over x with tie-breaking variable selection vars and value selection vals.
Definition at line 55 of file branch.cpp.
void Gecode::branch | ( | Home | home, |
FloatVar | x, | ||
FloatValBranch | vals, | ||
FloatVarValPrint | vvp = nullptr ) |
Branch over x with value selection vals.
Definition at line 105 of file branch.cpp.
void Gecode::assign | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatVarBranch | vars, | ||
FloatAssign | vals, | ||
FloatBranchFilter | bf = nullptr, | ||
FloatVarValPrint | vvp = nullptr ) |
Assign all x with variable selection vars and value selection vals.
Definition at line 111 of file branch.cpp.
void Gecode::assign | ( | Home | home, |
const FloatVarArgs & | x, | ||
TieBreak< FloatVarBranch > | vars, | ||
FloatAssign | vals, | ||
FloatBranchFilter | bf = nullptr, | ||
FloatVarValPrint | vvp = nullptr ) |
Assign all x with tie-breaking variable selection vars and value selection vals.
Definition at line 126 of file branch.cpp.
void Gecode::assign | ( | Home | home, |
FloatVar | x, | ||
FloatAssign | vals, | ||
FloatVarValPrint | vvp = nullptr ) |
Assign x with value selection vals.
Definition at line 176 of file branch.cpp.
|
inline |
Branch over x with value selection vals.
Definition at line 37 of file branch.hpp.
|
inline |
Assign all x with value selection vals.
Definition at line 43 of file branch.hpp.