46 template<
class _View,
class _Val>
69 typename BranchTraits<typename View::VarType>::ValType> {
75 typedef typename View::VarType
Var;
92 const Val&
n, std::ostream& o)
const;
97 template<
class View,
class Val>
100 template<
class View,
class Val>
103 template<
class View,
class Val>
108 template<
class View,
class Val>
129 typename View::VarType y(x.varimp());
141 View,
int i,
const Val&,
142 std::ostream& o)
const {
143 o <<
"var[" << i <<
"] is user-defined.";
int ModEvent
Type for modification events.
ModEvent commit(Space &home, unsigned int a, View x, int i, Val n)
Perform user-defined commit.
ValCommitFunction(Space &home, const ValBranch &vb)
Constructor for initialization.
bool failed(void) const
Check whether space is failed.
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.
BranchTraits< Var >::Commit CommitFunction
The corresponding commit function.
Base class for value commit.
Gecode::FloatVal c(-8, 8)
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Execution has resulted in failure.
void dispose(Space &home)
Delete value commit.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValCommit(Space &home, const ValBranch &vb)
Constructor for initialization.
F1 function_cast(F2 f)
Cast function pointer.
Value branching information.
CommitFunction c
The user-defined commit function.
Node * x
Pointer to corresponding Boolean expression node.
View::VarType Var
The corresponding variable type.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Class for user-defined value commit.
Gecode toplevel namespace
NGL * ngl(Space &home, unsigned int a, View x, Val n) const
Create no-good literal for alternative a.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
No-good literal recorded during search.