Set branchings More...
Classes | |
class | ExcNGL |
No-good literal for exclusion. More... | |
class | IncNGL |
No-good literal for inclusion. More... | |
class | MeritActionSize |
Merit class for action over size. More... | |
class | MeritAFCSize |
Merit class for AFC over size. More... | |
class | MeritCHBSize |
Merit class for CHB Q-score over size. More... | |
class | MeritDegreeSize |
Merit class for degree over size. More... | |
class | MeritMax |
Merit class for maximum of set view. More... | |
class | MeritMin |
Merit class for mimimum of set views. More... | |
class | MeritSize |
Merit class for size of set view. More... | |
class | ValCommitExc |
Value commit class for exclusion. More... | |
class | ValCommitInc |
Value commit class for inclusion. 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 | ValSelRnd |
Value selection class for random value of view. More... |
Functions | |
ViewSel< SetView > * | viewsel (Space &home, const SetVarBranch &svb) |
Return view selectors for set views. | |
ValSelCommitBase< SetView, int > * | valselcommit (Space &home, const SetValBranch &svb) |
Return value and commit for set views. | |
ValSelCommitBase< SetView, int > * | valselcommit (Space &home, const SetAssign &ia) |
Return value and commit for set views. |
Set branchings
ViewSel< SetView > * Gecode::Set::Branch::viewsel | ( | Space & | home, |
const SetVarBranch & | svb ) |
Return view selectors for set views.
Definition at line 39 of file view-sel.cpp.
ValSelCommitBase< SetView, int > * Gecode::Set::Branch::valselcommit | ( | Space & | home, |
const SetValBranch & | svb ) |
Return value and commit for set views.
Definition at line 39 of file val-sel-commit.cpp.
ValSelCommitBase< SetView, int > * Gecode::Set::Branch::valselcommit | ( | Space & | home, |
const SetAssign & | ia ) |
Return value and commit for set views.
Definition at line 71 of file val-sel-commit.cpp.