Gecode::Int::Branch Namespace Reference

Integer branchers. More...

## Classes

class | MeritMin
| Merit class for mimimum of integer views. More...
class | MeritMax
| Merit class for maximum. More...
class | MeritSize
| Merit class for size. More...
class | MeritDegreeSize
| Merit class for degree over size. More...
class | MeritAFCSize
| Merit class for AFC over size. More...
class | MeritActionSize
| Merit class for action over size. More...
class | MeritCHBSize
| Merit class for CHB over size. More...
class | MeritRegretMin
| Merit class for minimum regret. More...
class | MeritRegretMax
| Merit class for maximum regret. More...
class | ValSelMin
| Value selection class for mimimum of view. More...
class | ValSelMax
| Value selection class for maximum of view. More...
class | ValSelMed
| Value selection class for median of view. More...
class | ValSelAvg
| Value selection class for average of view. More...
class | ValSelRnd
| Value selection class for random value of view. More...
class | ValSelRangeMin
| Value selection class for minimum range of integer view. More...
class | ValSelRangeMax
| Value selection class for maximum range of integer view. More...
class | EqNGL
| No-good literal for equality. More...
class | NqNGL
| No-good literal for disequality. More...
class | LqNGL
| No-good literal for less or equal. More...
class | GqNGL
| No-good literal for greater or equal. More...
class | ValCommitEq
| Value commit class for equality. More...
class | ValCommitLq
| Value commit class for less or equal. More...
class | ValCommitGq
| Value commit class for greater or equal. More...
class | ValCommitGr
| Value commit class for greater. More...
class | ViewValuesBrancher
| Brancher by view and values selection More...
class | PosValuesChoice
| Choice storing position and values for integer views More...

## Functions

ViewSel< IntView > * | viewsel (Space &home, const IntVarBranch &ivb)
| Return view selectors for integer views.
ViewSel< BoolView > * | viewsel (Space &home, const BoolVarBranch &bvb)
| Return view selectors for Boolean views.
ValSelCommitBase< IntView, int > * | valselcommit (Space &home, const IntValBranch &ivb)
| Return value and commit for integer views.
ValSelCommitBase< BoolView, int > * | valselcommit (Space &home, const BoolValBranch &bvb)
| Return value and commit for Boolean views.
ValSelCommitBase< IntView, int > * | valselcommit (Space &home, const IntAssign &ia)
| Return value and commit for integer views.
ValSelCommitBase< BoolView, int > * | valselcommit (Space &home, const BoolAssign &ba)
| Return value and commit for Boolean views.
template<int n, bool min>
void | postviewvaluesbrancher (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], IntBranchFilter bf, IntVarValPrint vvp)
| Post brancher for view and values.

## Detailed Description

Integer branchers.

## Function Documentation

## viewsel() [1/2]

ViewSel< IntView > * Gecode::Int::Branch::viewsel | ( | Space & | home,
|  | const IntVarBranch & | ivb )

Return view selectors for integer views.

Definition at line 39 of file view-sel.cpp.

## viewsel() [2/2]

ViewSel< BoolView > * Gecode::Int::Branch::viewsel | ( | Space & | home,
|  | const BoolVarBranch & | bvb )

Return view selectors for Boolean views.

Definition at line 175 of file view-sel.cpp.

## valselcommit() [1/4]

ValSelCommitBase< IntView, int > * Gecode::Int::Branch::valselcommit | ( | Space & | home,
|  | const IntValBranch & | ivb )

Return value and commit for integer views.

Definition at line 39 of file val-sel-commit.cpp.

## valselcommit() [2/4]

ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommit | ( | Space & | home,
|  | const BoolValBranch & | bvb )

Return value and commit for Boolean views.

Definition at line 109 of file val-sel-commit.cpp.

## valselcommit() [3/4]

ValSelCommitBase< IntView, int > * Gecode::Int::Branch::valselcommit | ( | Space & | home,
|  | const IntAssign & | ia )

Return value and commit for integer views.

Definition at line 81 of file val-sel-commit.cpp.

## valselcommit() [4/4]

ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommit | ( | Space & | home,
|  | const BoolAssign & | ba )

Return value and commit for Boolean views.

Definition at line 134 of file val-sel-commit.cpp.

## postviewvaluesbrancher()

template<int n, bool min>

void Gecode::Int::Branch::postviewvaluesbrancher | ( | Home | home,
|  | ViewArray< IntView > & | x,
|  | ViewSel< IntView > * | vs[n],
|  | IntBranchFilter | bf,
|  | IntVarValPrint | vvp )

inline

Post brancher for view and values.

Definition at line 191 of file view-values.hpp.