Generated on Mon Aug 25 11:35:45 2008 for Gecode by doxygen 1.5.6

branch.hh File Reference

(Revision: 7310)

#include "gecode/int.hh"
#include "gecode/int/branch/select-val.icc"
#include "gecode/int/branch/select-view.icc"
#include "gecode/int/branch/create-branch.icc"

Go to the source code of this file.

Namespaces

namespace  Gecode::Int::Branch
namespace  Gecode
namespace  Gecode::Int

Classes

class  Gecode::Int::Branch::ValMin< View >
 Class for selecting minimum value. More...
class  Gecode::Int::Branch::ValMed< View >
 Class for selecting maximum value. More...
class  Gecode::Int::Branch::ValMax< View >
 Class for selecting median value. More...
class  Gecode::Int::Branch::ValSplitMin< View >
 Class for splitting domain (lower half first). More...
class  Gecode::Int::Branch::ValSplitMax< View >
 Class for splitting domain (upper half first). More...
class  Gecode::Int::Branch::NoValue
 For Boolean branchings not needing a value. More...
class  Gecode::Int::Branch::ValZeroOne< View >
 Class for trying zero and then one. More...
class  Gecode::Int::Branch::ValOneZero< View >
 Class for trying one and then zero. More...
class  Gecode::Int::Branch::ByNone< View >
 View selection class for first variable. More...
class  Gecode::Int::Branch::ByMinMin< View >
 View selection class for view with smallest min. More...
class  Gecode::Int::Branch::ByMinMax< View >
 View selection class for view with largest min. More...
class  Gecode::Int::Branch::ByMaxMin< View >
 View selection class for view with smallest max. More...
class  Gecode::Int::Branch::ByMaxMax< View >
 View selection class for view with largest max. More...
class  Gecode::Int::Branch::BySizeMin< View >
 View selection class for view with smallest size. More...
class  Gecode::Int::Branch::BySizeMax< View >
 View selection class for view with largest size. More...
class  Gecode::Int::Branch::ByDegreeMin< View >
 View selection class for view with smallest degree (and smallest size in case of ties). More...
class  Gecode::Int::Branch::ByDegreeMax< View >
 View selection class for view with largest degree (and smallest size in case of ties). More...
class  Gecode::Int::Branch::ByDegreeMinNoTies< View >
 View selection class for view with smallest degree. More...
class  Gecode::Int::Branch::ByDegreeMaxNoTies< View >
 View selection class for view with largest degree. More...
class  Gecode::Int::Branch::BySizeDegreeMin< View >
 View selection class for view with smallest size divided by degree. More...
class  Gecode::Int::Branch::BySizeDegreeMax< View >
 View selection class for view with largest size divided by degree. More...
class  Gecode::Int::Branch::ByRegretMinMin< View >
 View selection class for view with smallest min-regret. More...
class  Gecode::Int::Branch::ByRegretMinMax< View >
 View selection class for view with largest min-regret. More...
class  Gecode::Int::Branch::ByRegretMaxMin< View >
 View selection class for view with smallest max-regret. More...
class  Gecode::Int::Branch::ByRegretMaxMax< View >
 View selection class for view with largest max-regret. More...

Functions

template<template< class, class, class, class > class B, class View, template< class > class SelView>
void Gecode::Int::Branch::create (Space *home, ViewArray< View > &, IntValBranch)
 Create branchings for a given view selection strategy SelView.
template<template< class, class, class, class > class B>
void Gecode::Int::Branch::createBranch (Space *home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals)