Generated on Thu Apr 11 13:59:58 2019 for Gecode by doxygen 1.6.3

Gecode::Int::Branch Namespace Reference

Integer branchers. More...

Classes

class  PosValuesChoice
 Choice storing position and values for integer views More...
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...

Functions

ValSelCommitBase< IntView, int > * valselcommit (Space &home, const IntValBranch &ivb)
 Return value and commit for integer views.
ValSelCommitBase< IntView, int > * valselcommit (Space &home, const IntAssign &ia)
 Return value and commit for integer views.
ValSelCommitBase< BoolView, int > * valselcommit (Space &home, const BoolValBranch &bvb)
 Return value and commit for Boolean views.
ValSelCommitBase< BoolView, int > * valselcommit (Space &home, const BoolAssign &ba)
 Return value and commit for Boolean views.
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.
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

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

Return value and commit for integer 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 BoolValBranch &  bvb 
)

Return value and commit for Boolean views.

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

Return value and commit for Boolean views.

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.

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.