Generated on Thu Mar 22 10:39:56 2012 for Gecode by doxygen 1.6.3

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.