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;
91 NGL* ngl(
Space& home,
unsigned int a, View
x, Val
n)
const;
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>
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.";
void update(Space &home, bool share, SharedHandle &sh)
Update during cloning.
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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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.
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.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Class for user-defined value commit.
Gecode toplevel namespace
No-good literal recorded during search.