Gecode::Int::Branch Namespace Reference
Integer branchers. More...
Classes | |
| class | PosValuesChoice |
| Choice storing position and values More... | |
| class | ValMin |
| Class for selecting minimum value. More... | |
| class | ValMed |
| Class for selecting median value. More... | |
| class | ValRnd |
| Class for random value selection. More... | |
| class | ValSplitMin |
| Class for splitting domain at mean of smallest and largest element (lower half first). More... | |
| class | ValRangeMin |
| Class for trying the first range of a domain first or splitting domain at mean of smallest and largest element (lower half first). More... | |
| class | NoValue |
| For Boolean branchers not needing a value. More... | |
| class | ValZeroOne |
| Class for trying zero and then one. More... | |
| class | ViewValuesBrancher |
| Brancher by view and values selection More... | |
| class | AssignValMin |
| Class for assigning minimum value. More... | |
| class | AssignValMed |
| Class for assigning maximum value. More... | |
| class | AssignValRnd |
| Class for assigning random value. More... | |
| class | AssignValZero |
| Class for assigning zero. More... | |
| class | ByMinMin |
| View selection class for view with smallest min. More... | |
| class | ByMinMax |
| View selection class for view with largest min. More... | |
| class | ByMaxMin |
| View selection class for view with smallest max. More... | |
| class | ByMaxMax |
| View selection class for view with largest max. More... | |
| class | BySizeMin |
| View selection class for view with smallest size. More... | |
| class | BySizeMax |
| View selection class for view with largest size. More... | |
| class | BySizeDegreeMin |
| View selection class for view with smallest size divided by degree. More... | |
| class | BySizeDegreeMax |
| View selection class for view with largest size divided by degree. More... | |
| class | BySizeAfcMin |
| View selection class for view with smallest size divided by accumulated failure count. More... | |
| class | BySizeAfcMax |
| View selection class for view with largest size divided by accumulated failure count. More... | |
| class | ByRegretMinMin |
| View selection class for view with smallest min-regret. More... | |
| class | ByRegretMinMax |
| View selection class for view with largest min-regret. More... | |
| class | ByRegretMaxMin |
| View selection class for view with smallest max-regret. More... | |
| class | ByRegretMaxMax |
| View selection class for view with largest max-regret. More... | |
Functions | |
| template<class SelView > | |
| void | post (Space &home, ViewArray< BoolView > &x, SelView &v, IntValBranch vals, const ValBranchOptions &o_vals, BranchFilter bf) |
| Post brancher according to v and vals. | |
| template<class SelView > | |
| void | post (Space &home, ViewArray< IntView > &x, SelView &v, IntValBranch vals, const ValBranchOptions &o_vals, BranchFilter bf) |
| Post brancher according to v and vals. | |
| void | virtualize (Gecode::Home home, IntVarBranch vars, const Gecode::VarBranchOptions &o_vars, Gecode::ViewSelVirtualBase< BoolView > *&v) |
| Create virtual view selector for tie-breaking. | |
| void | virtualize (Gecode::Home home, IntVarBranch vars, const Gecode::VarBranchOptions &o_vars, Gecode::ViewSelVirtualBase< IntView > *&v) |
| Create virtual view selector for tie-breaking. | |
Detailed Description
Integer branchers.
Function Documentation
template<class SelView >
| void Gecode::Int::Branch::post | ( | Space & | home, | |
| ViewArray< BoolView > & | x, | |||
| SelView & | v, | |||
| IntValBranch | vals, | |||
| const ValBranchOptions & | o_vals, | |||
| BranchFilter | bf | |||
| ) | [inline] |
Post brancher according to v and vals.
Definition at line 43 of file post-val-bool.hpp.
template<class SelView >
| void Gecode::Int::Branch::post | ( | Space & | home, | |
| ViewArray< IntView > & | x, | |||
| SelView & | v, | |||
| IntValBranch | vals, | |||
| const ValBranchOptions & | o_vals, | |||
| BranchFilter | bf | |||
| ) | [inline] |
Post brancher according to v and vals.
Definition at line 43 of file post-val-int.hpp.
| void Gecode::Int::Branch::virtualize | ( | Gecode::Home | home, | |
| IntVarBranch | vars, | |||
| const Gecode::VarBranchOptions & | o_vars, | |||
| Gecode::ViewSelVirtualBase< BoolView > *& | v | |||
| ) |
Create virtual view selector for tie-breaking.
Definition at line 48 of file post-view-bool.cpp.
| void Gecode::Int::Branch::virtualize | ( | Gecode::Home | home, | |
| IntVarBranch | vars, | |||
| const Gecode::VarBranchOptions & | o_vars, | |||
| Gecode::ViewSelVirtualBase< IntView > *& | v | |||
| ) |
Create virtual view selector for tie-breaking.
Definition at line 48 of file post-view-int.cpp.