branch.hh File Reference
`#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 degree over size. More...
class | Gecode::Int::Branch::MeritAFCSize< View >
| Merit class for AFC over size. More...
class | Gecode::Int::Branch::MeritActionSize< View >
| Merit class for action over size. More...
class | Gecode::Int::Branch::MeritCHBSize< View >
| Merit class for CHB over size. 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::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, Filter, Print >
| 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::viewsel (Space &home, const IntVarBranch &ivb)
| Return view selectors for integer views.
ViewSel< BoolView > * | Gecode::Int::Branch::viewsel (Space &home, const BoolVarBranch &bvb)
| Return view selectors for Boolean views.
ValSelCommitBase< IntView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const IntValBranch &ivb)
| Return value and commit for integer views.
ValSelCommitBase< BoolView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const BoolValBranch &bvb)
| Return value and commit for Boolean views.
ValSelCommitBase< IntView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const IntAssign &ia)
| Return value and commit for integer views.
ValSelCommitBase< BoolView, int > * | Gecode::Int::Branch::valselcommit (Space &home, const BoolAssign &ba)
| Return value and commit for Boolean views.
template<int n, bool min>
void | Gecode::Int::Branch::postviewvaluesbrancher (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], IntBranchFilter bf, IntVarValPrint vvp)
| Post brancher for view and values.