43 template<
class _View,
class _Val>
49 typedef typename View::VarType
Var;
67 typename BranchTraits<typename View::VarType>::ValType> {
73 typedef typename View::VarType
Var;
90 const Val&
n, std::ostream& o)
const;
99 template<
class View,
class Val>
102 template<
class View,
class Val>
105 template<
class View,
class Val>
110 template<
class View,
class Val>
120 :
ValCommit<View,Val>(home,vb), c(vb.commit()) {
128 :
ValCommit<View,Val>(home,vc), c(vc.c) {
134 typename View::VarType
y(
x.
varimp());
147 View,
int i,
const Val&,
148 std::ostream& o)
const {
149 o <<
"var[" << i <<
"] is user-defined.";
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Exception: invalid function
No-good literal recorded during search.
Class for sharing data between spaces.
Value branching information.
Class for user-defined value commit.
SharedData< CommitFunction > c
The user-defined commit function.
NGL * ngl(Space &home, unsigned int a, View x, Val n) const
Create no-good literal for alternative a.
ValCommitFunction(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value commit.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ModEvent commit(Space &home, unsigned int a, View x, int i, Val n)
Perform user-defined commit.
View::VarType Var
The corresponding variable type.
BranchTraits< Var >::Commit CommitFunction
The corresponding commit function.
void print(const Space &home, unsigned int a, View x, int i, const Val &n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
Base class for value commit.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValCommit(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value commit.
ValCommit(Space &home, ValCommit< View, Val > &vs)
Constructor for cloning.
View::VarType Var
Corresponding variable type.
VarImp * varimp(void) const
Return variable implementation of variable.
bool failed(void) const
Check whether space is failed.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar x
int ModEvent
Type for modification events.
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.