c | Gecode::ValCommitFunction< View > | protected |
commit(Space &home, unsigned int a, View x, int i, Val n) | Gecode::ValCommitFunction< View > | inline |
CommitFunction typedef | Gecode::ValCommitFunction< View > | |
dispose(Space &home) | Gecode::ValCommit< View, BranchTraits< View::VarType >::ValType > | |
ngl(Space &home, unsigned int a, View x, Val n) const | Gecode::ValCommitFunction< View > | inline |
notice(void) const | Gecode::ValCommit< View, BranchTraits< View::VarType >::ValType > | |
print(const Space &home, unsigned int a, View x, int i, const Val &n, std::ostream &o) const | Gecode::ValCommitFunction< View > | inline |
ValCommit(Space &home, const ValBranch &vb) | Gecode::ValCommit< View, BranchTraits< View::VarType >::ValType > | |
ValCommit(Space &home, bool shared, ValCommit< View, Val > &vs) | Gecode::ValCommit< View, BranchTraits< View::VarType >::ValType > | |
ValCommitFunction(Space &home, const ValBranch &vb) | Gecode::ValCommitFunction< View > | inline |
ValCommitFunction(Space &home, bool shared, ValCommitFunction &vc) | Gecode::ValCommitFunction< View > | inline |
Var typedef | Gecode::ValCommitFunction< View > | |
View typedef | Gecode::ValCommit< View, BranchTraits< View::VarType >::ValType > | |