commit(Space &home, unsigned int a, View x, int i, Val n)=0 | Gecode::ValSelCommitBase< _View, _Val > | pure virtual |
copy(Space &home, bool shared)=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 &vb) | Gecode::ValSelCommitBase< _View, _Val > | inline |
ValSelCommitBase(Space &home, bool shared, ValSelCommitBase< View, Val > &vsc) | Gecode::ValSelCommitBase< _View, _Val > | inline |
View typedef | Gecode::ValSelCommitBase< _View, _Val > | |