Generated on Sat Feb 7 2015 02:01:46 for Gecode by doxygen 1.8.9.1
Gecode::Int::Branch Namespace Reference

Integer branchers. More...

Classes

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

Functions

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

Detailed Description

Integer branchers.

Function Documentation

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

Return value and commit for integer views.

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

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

Return value and commit for integer views.

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

ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommitbool ( Space home,
int  n,
const IntValBranch ivb 
)

Return value and commit for Boolean views.

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

ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommitbool ( Space home,
const IntAssign ia 
)

Return value and commit for Boolean views.

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

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

Return view selectors for integer views.

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

ViewSel< BoolView > * Gecode::Int::Branch::viewselbool ( Space home,
const IntVarBranch ivb 
)

Return view selectors for Boolean views.

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