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 size over degree. More... | |
| class | MeritAFCSize |
| Merit class for size over afc. More... | |
| class | MeritActivitySize |
| Merit class for size over activity. 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 | ValSelNearMinMax |
| Value selection class for nearest value. More... | |
| class | ValSelNearIncDec |
| Value selection class for nearest value. 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 > * | valselcommitint (Space &home, int n, const IntValBranch &ivb) |
| Return value and commit for integer views. | |
| ValSelCommitBase< IntView, int > * | valselcommitint (Space &home, const IntAssign &ia) |
| Return value and commit for integer views. | |
| ValSelCommitBase< BoolView, int > * | valselcommitbool (Space &home, int n, const IntValBranch &ivb) |
| Return value and commit for Boolean views. | |
| ValSelCommitBase< BoolView, int > * | valselcommitbool (Space &home, const IntAssign &ia) |
| Return value and commit for Boolean views. | |
| ViewSel< IntView > * | viewselint (Space &home, const IntVarBranch &ivb) |
| Return view selectors for integer views. | |
| ViewSel< BoolView > * | viewselbool (Space &home, const IntVarBranch &ivb) |
| Return view selectors for Boolean views. | |
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.
| 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, | |
| int | n, | |||
| const IntValBranch & | ivb | |||
| ) |
Return value and commit for Boolean views.
| ValSelCommitBase< BoolView, int > * Gecode::Int::Branch::valselcommitbool | ( | Space & | home, | |
| const IntAssign & | ia | |||
| ) |
Return value and commit for Boolean views.
Return view selectors for integer views.