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.