Generated on Fri Mar 20 15:56:26 2015 for Gecode by doxygen 1.6.3

branch.hh File Reference

(Revision: 13827)

#include <gecode/int.hh>
#include <gecode/int/branch/merit.hpp>
#include <gecode/int/branch/val-sel.hpp>
#include <gecode/int/branch/ngl.hpp>
#include <gecode/int/branch/val-commit.hpp>
#include <gecode/int/branch/view-values.hpp>

Go to the source code of this file.

Classes

class  Gecode::Int::Branch::MeritMin< View >
 Merit class for mimimum of integer views. More...
class  Gecode::Int::Branch::MeritMax< View >
 Merit class for maximum. More...
class  Gecode::Int::Branch::MeritSize< View >
 Merit class for size. More...
class  Gecode::Int::Branch::MeritDegreeSize< View >
 Merit class for size over degree. More...
class  Gecode::Int::Branch::MeritAFCSize< View >
 Merit class for size over afc. More...
class  Gecode::Int::Branch::MeritActivitySize< View >
 Merit class for size over activity. More...
class  Gecode::Int::Branch::MeritRegretMin< View >
 Merit class for minimum regret. More...
class  Gecode::Int::Branch::MeritRegretMax< View >
 Merit class for maximum regret. More...
class  Gecode::Int::Branch::ValSelMin< View >
 Value selection class for mimimum of view. More...
class  Gecode::Int::Branch::ValSelMax< View >
 Value selection class for maximum of view. More...
class  Gecode::Int::Branch::ValSelMed< View >
 Value selection class for median of view. More...
class  Gecode::Int::Branch::ValSelAvg< View >
 Value selection class for average of view. More...
class  Gecode::Int::Branch::ValSelRnd< View >
 Value selection class for random value of view. More...
class  Gecode::Int::Branch::ValSelRangeMin
 Value selection class for minimum range of integer view. More...
class  Gecode::Int::Branch::ValSelRangeMax
 Value selection class for maximum range of integer view. More...
class  Gecode::Int::Branch::ValSelNearMinMax< View, min >
 Value selection class for nearest value. More...
class  Gecode::Int::Branch::ValSelNearIncDec< View, inc >
 Value selection class for nearest value. More...
class  Gecode::Int::Branch::EqNGL< View >
 No-good literal for equality. More...
class  Gecode::Int::Branch::NqNGL< View >
 No-good literal for disequality. More...
class  Gecode::Int::Branch::LqNGL< View >
 No-good literal for less or equal. More...
class  Gecode::Int::Branch::GqNGL< View >
 No-good literal for greater or equal. More...
class  Gecode::Int::Branch::ValCommitEq< View >
 Value commit class for equality. More...
class  Gecode::Int::Branch::ValCommitLq< View >
 Value commit class for less or equal. More...
class  Gecode::Int::Branch::ValCommitGq< View >
 Value commit class for greater or equal. More...
class  Gecode::Int::Branch::ValCommitGr< View >
 Value commit class for greater. More...
class  Gecode::Int::Branch::ViewValuesBrancher< n, min >
 Brancher by view and values selection More...

Namespaces

namespace  Gecode::Int::Branch
 

Integer branchers.


namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


Functions

ViewSel< IntView > * Gecode::Int::Branch::viewselint (Space &home, const IntVarBranch &ivb)
 Return view selectors for integer views.
ViewSel< BoolView > * Gecode::Int::Branch::viewselbool (Space &home, const IntVarBranch &ivb)
 Return view selectors for Boolean views.
ValSelCommitBase< IntView, int > * Gecode::Int::Branch::valselcommitint (Space &home, int n, const IntValBranch &ivb)
 Return value and commit for integer views.
ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommitbool (Space &home, int n, const IntValBranch &ivb)
 Return value and commit for Boolean views.
ValSelCommitBase< IntView, int > * Gecode::Int::Branch::valselcommitint (Space &home, const IntAssign &ia)
 Return value and commit for integer views.
ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommitbool (Space &home, const IntAssign &ia)
 Return value and commit for Boolean views.