Gecode::Set::Branch Namespace Reference
Set branchings More...
Classes | |
| class | ValMin |
| Class for selecting minimum value. More... | |
| class | ValMed |
| Class for selecting median value (rounding downwards). More... | |
| class | ValMax |
| Class for selecting maximum value. More... | |
| class | ValRnd |
| Class for random value selection. More... | |
| class | AssignValMin |
| Class for assigning minimum value. More... | |
| class | AssignValMed |
| Class for assigning median value (rounding downwards). More... | |
| class | AssignValMax |
| Class for assigning maximum value. More... | |
| class | AssignValRnd |
| Class for assigning random value. More... | |
| class | ByMinMin |
| View selection class for view with smallest minimum element in lub-glb. More... | |
| class | ByMinMax |
| View selection class for view with largest minimum element in lub-glb. More... | |
| class | ByMaxMin |
| View selection class for view with smallest maximal element in lub-glb. More... | |
| class | ByMaxMax |
| View selection class for view with largest maximal element in lub-glb. More... | |
| class | BySizeMin |
| View selection class for view with smallest cardinality of lub-glb. More... | |
| class | BySizeMax |
| View selection class for view with largest cardinality of lub-glb. More... | |
| class | BySizeDegreeMin |
| View selection class for view with smallest cardinality of lub-glb divided by degree. More... | |
| class | BySizeDegreeMax |
| View selection class for view with largest cardinality of lub-glb divided by degree. More... | |
| class | BySizeAfcMin |
| View selection class for view with smallest cardinality of lub-glb divided by accumulated failure count. More... | |
| class | BySizeAfcMax |
| View selection class for view with largest cardinality of lub-glb divided by accumulated failure count. More... | |
Functions | |
| template<class SelView > | |
| void | post (Space &home, ViewArray< SetView > &x, SelView &v, SetValBranch vals, const ValBranchOptions &o_vals, BranchFilter bf) |
| Post brancher according to v and vals. | |
| void | virtualize (Gecode::Home home, SetVarBranch vars, const Gecode::VarBranchOptions &o_vars, Gecode::ViewSelVirtualBase< SetView > *&v) |
| Create virtual view selector for tie-breaking. | |
Detailed Description
Set branchings
Function Documentation
template<class SelView >
| void Gecode::Set::Branch::post | ( | Space & | home, | |
| ViewArray< SetView > & | x, | |||
| SelView & | v, | |||
| SetValBranch | vals, | |||
| const ValBranchOptions & | o_vals, | |||
| BranchFilter | bf | |||
| ) | [inline] |
Post brancher according to v and vals.
Definition at line 49 of file post-val.hpp.
| void Gecode::Set::Branch::virtualize | ( | Gecode::Home | home, | |
| SetVarBranch | vars, | |||
| const Gecode::VarBranchOptions & | o_vars, | |||
| Gecode::ViewSelVirtualBase< SetView > *& | v | |||
| ) |
Create virtual view selector for tie-breaking.
Definition at line 47 of file post-view.cpp.