commit(Space &home, unsigned int a, View x, int i, Val n)=0 | Gecode::ValSelCommitBase< _View, _Val > | pure virtual |
copy(Space &home)=0 | Gecode::ValSelCommitBase< _View, _Val > | pure virtual |
dispose(Space &home)=0 | Gecode::ValSelCommitBase< _View, _Val > | pure virtual |
ngl(Space &home, unsigned int a, View x, Val n) const =0 | Gecode::ValSelCommitBase< _View, _Val > | pure virtual |
notice(void) const =0 | Gecode::ValSelCommitBase< _View, _Val > | pure virtual |
operator delete(void *p, Space &home) | Gecode::ValSelCommitBase< _View, _Val > | inlinestatic |
operator delete(void *p) | Gecode::ValSelCommitBase< _View, _Val > | inlinestatic |
operator new(size_t s, Space &home) | Gecode::ValSelCommitBase< _View, _Val > | inlinestatic |
print(const Space &home, unsigned int a, View x, int i, const Val &n, std::ostream &o) const =0 | Gecode::ValSelCommitBase< _View, _Val > | pure virtual |
Val typedef | Gecode::ValSelCommitBase< _View, _Val > | |
val(const Space &home, View x, int i)=0 | Gecode::ValSelCommitBase< _View, _Val > | pure virtual |
ValSelCommitBase(Space &home, const ValBranch< Var > &vb) | Gecode::ValSelCommitBase< _View, _Val > | inline |
ValSelCommitBase(Space &home, ValSelCommitBase< View, Val > &vsc) | Gecode::ValSelCommitBase< _View, _Val > | inline |
Var typedef | Gecode::ValSelCommitBase< _View, _Val > | |
View typedef | Gecode::ValSelCommitBase< _View, _Val > | |
~ValSelCommitBase(void) | Gecode::ValSelCommitBase< _View, _Val > | virtual |