42 template<
class _View,
class _Val>
49 typedef typename View::VarType
Var;
67 typename BranchTraits<typename View::VarType>::ValType> {
73 typedef typename View::VarType
Var;
87 NGL* ngl(
Space& home,
unsigned int a, View
x, Val
n)
const;
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>
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.";
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValCommitFunction(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
SharedData< CommitFunction > c
The user-defined commit function.
int ModEvent
Type for modification events.
ModEvent commit(Space &home, unsigned int a, View x, int i, Val n)
Perform user-defined commit.
BranchTraits< Var >::Commit CommitFunction
The corresponding commit function.
Base class for value commit.
Gecode::FloatVal c(-8, 8)
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)
int n
Number of negative literals for node type.
Execution has resulted in failure.
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.
~SharedData(void)
Destructors.
void dispose(Space &home)
Delete value commit.
bool failed(void) const
Check whether space is failed.
Exception: invalid function
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.
void print(std::basic_ostream< Char, Traits > &s, bool assigned, IL &lb, IU &ub, unsigned int cardMin, unsigned int cardMax)
Print set view.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void dispose(Space &home)
Delete value commit.
Post propagator for SetVar SetOpType SetVar y
Value branching information.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
View::VarType Var
Corresponding variable type.
ValCommit(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Post propagator for SetVar x
View::VarType Var
The corresponding variable type.
Class for user-defined value commit.
Gecode toplevel namespace
No-good literal recorded during search.