Generated on Wed Mar 19 07:30:09 2008 for Gecode by doxygen 1.5.5

Gecode::Int::Branch Namespace Reference


Detailed Description

Integer branchings.


Classes

class  Creator
 Register reflection for branchings. More...
class  ValMin
 Class for selecting minimum value. More...
class  ValMed
 Class for selecting maximum value. More...
class  ValMax
 Class for selecting median value. More...
class  ValSplitMin
 Class for splitting domain (lower half first). More...
class  ValSplitMax
 Class for splitting domain (upper half first). More...
class  NoValue
 For Boolean branchings not needing a value. More...
class  ValZeroOne
 Class for trying zero and then one. More...
class  ValOneZero
 Class for trying one and then zero. More...
class  ByNone
 View selection class for first variable. 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  ByDegreeMin
 View selection class for view with smallest degree (and smallest size in case of ties). More...
class  ByDegreeMax
 View selection class for view with largest degree (and smallest size in case of ties). More...
class  ByDegreeMinNoTies
 View selection class for view with smallest degree. More...
class  ByDegreeMaxNoTies
 View selection class for view with largest degree. 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  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 View, template< class > class SelView>
void create (Space *home, ViewArray< View > &, IntValBranch)
 Create branchings for a given view selection strategy SelView.

Variables

Creator< IntView, int, BySizeMinc1
Creator< IntView, int, BySizeMaxc2
Creator< IntView, int, ByMinMinc3
Creator< IntView, int, ByMinMaxc4
Creator< IntView, int, ByMaxMinc5
Creator< IntView, int, ByMaxMaxc6
Creator< IntView, int, ByNonec7
Creator< IntView, int,
ByRegretMinMin
c8
Creator< IntView, int,
ByRegretMinMax
c9
Creator< IntView, int,
ByRegretMaxMin
c10
Creator< IntView, int,
ByRegretMaxMax
c11
Creator< IntView, int,
ByDegreeMin
c12
Creator< IntView, int,
ByDegreeMax
c13
Reflection::ActorRegistrar
< ViewValBranching< BoolView,
NoValue, ByDegreeMaxNoTies
< BoolView >, ValOneZero
< BoolView > > > 
r1
Reflection::ActorRegistrar
< ViewValBranching< BoolView,
NoValue, ByDegreeMaxNoTies
< BoolView >, ValZeroOne
< BoolView > > > 
r2
Reflection::ActorRegistrar
< ViewValBranching< BoolView,
NoValue, ByDegreeMinNoTies
< BoolView >, ValOneZero
< BoolView > > > 
r3
Reflection::ActorRegistrar
< ViewValBranching< BoolView,
NoValue, ByDegreeMinNoTies
< BoolView >, ValZeroOne
< BoolView > > > 
r4
Reflection::ActorRegistrar
< ViewValBranching< BoolView,
NoValue, ByNone< BoolView >
, ValOneZero< BoolView > > > 
r5
Reflection::ActorRegistrar
< ViewValBranching< BoolView,
NoValue, ByNone< BoolView >
, ValZeroOne< BoolView > > > 
r6
Reflection::ActorRegistrar
< ViewValAssignment< IntView,
int, ValMax< IntView > > > 
r7
Reflection::ActorRegistrar
< ViewValAssignment< IntView,
int, ValMed< IntView > > > 
r8
Reflection::ActorRegistrar
< ViewValAssignment< IntView,
int, ValMin< IntView > > > 
r9
Reflection::ActorRegistrar
< ViewValAssignment< BoolView,
NoValue, ValOneZero< BoolView > > > 
r10
Reflection::ActorRegistrar
< ViewValAssignment< BoolView,
NoValue, ValZeroOne< BoolView > > > 
r11


Function Documentation

template<class View, template< class > class SelView>
static void Gecode::Int::Branch::create ( Space *  home,
ViewArray< View > &  x,
IntValBranch  vals 
) [inline]

Create branchings for a given view selection strategy SelView.

Definition at line 231 of file select-val.icc.


Variable Documentation

Definition at line 257 of file branch.cc.

Definition at line 258 of file branch.cc.

Definition at line 259 of file branch.cc.

Definition at line 260 of file branch.cc.

Definition at line 261 of file branch.cc.

Definition at line 262 of file branch.cc.

Definition at line 263 of file branch.cc.