Classes | |
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 of float view. More... | |
class | MeritMin |
Merit class for mimimum. More... | |
class | MeritSize |
Merit class for size of float view. More... | |
class | ValCommitLqGq |
Value commit class for less or equal or greater or equal. More... | |
class | ValSelGq |
Value selection class for values smaller than median of view. More... | |
class | ValSelLq |
Value selection class for values smaller than median of view. More... | |
class | ValSelRnd |
Value selection class for random value of view. More... | |
Functions | |
ValSelCommitBase< FloatView, FloatNumBranch > * | valselcommit (Space &home, const FloatValBranch &svb) |
Return value and commit for float views. More... | |
ValSelCommitBase< FloatView, FloatNumBranch > * | valselcommit (Space &home, const FloatAssign &ia) |
Return value and commit for float views. More... | |
ViewSel< FloatView > * | viewsel (Space &home, const FloatVarBranch &fvb) |
Return view selectors for float views. More... | |
Float branchers.
ValSelCommitBase< FloatView, FloatNumBranch > * Gecode::Float::Branch::valselcommit | ( | Space & | home, |
const FloatValBranch & | fvb | ||
) |
Return value and commit for float views.
Definition at line 43 of file val-sel-commit.cpp.
ValSelCommitBase< FloatView, FloatNumBranch > * Gecode::Float::Branch::valselcommit | ( | Space & | home, |
const FloatAssign & | fa | ||
) |
Return value and commit for float views.
Definition at line 65 of file val-sel-commit.cpp.
ViewSel< FloatView > * Gecode::Float::Branch::viewsel | ( | Space & | home, |
const FloatVarBranch & | fvb | ||
) |
Return view selectors for float views.
Definition at line 43 of file view-sel.cpp.