Go to the documentation of this file.
46 template<
class _View,
class _Val>
53 typedef typename View::VarType
Var;
71 typename BranchTraits<typename View::VarType>::ValType> {
77 typedef typename View::VarType
Var;
94 const Val&
n, std::ostream& o)
const;
103 template<
class View,
class Val>
106 template<
class View,
class Val>
109 template<
class View,
class Val>
114 template<
class View,
class Val>
124 :
ValCommit<View,Val>(home,vb),
c(vb.commit()) {
139 typename View::VarType
y(
x.
varimp());
152 View,
int i,
const Val&,
153 std::ostream& o)
const {
154 o <<
"var[" <<
i <<
"] is user-defined.";
View::VarType Var
The corresponding variable type.
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
NGL * ngl(Space &home, unsigned int a, View x, Val n) const
Create no-good literal for alternative a.
Gecode::IntArgs i(4, 1, 2, 3, 4)
void update(Space &home, bool share, SharedHandle &sh)
Update during cloning.
BranchTraits< Var >::Commit CommitFunction
The corresponding commit function.
Base class for value commit.
View::VarType Var
Corresponding variable type.
ValCommit(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Gecode toplevel namespace
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
VarImp * varimp(void) const
Return variable implementation of variable.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
ModEvent commit(Space &home, unsigned int a, View x, int i, Val n)
Perform user-defined commit.
Value branching information.
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.
int ModEvent
Type for modification events.
bool failed(void) const
Check whether space is failed.
Exception: invalid function
bool shared(const IntSet &, VX)
Gecode::FloatVal c(-8, 8)
No-good literal recorded during search.
SharedData< CommitFunction > c
The user-defined commit function.
void dispose(Space &home)
Delete value commit.
Class for user-defined value commit.
int n
Number of negative literals for node type.
ValCommitFunction(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
@ ES_FAILED
Execution has resulted in failure.
void dispose(Space &home)
Delete value commit.
@ ES_OK
Execution is okay.