44 namespace Gecode {
namespace Set {
namespace Branch {
59 return new (home)
IncNGL(home,x,n);
65 std::ostream& o)
const {
66 o <<
"var[" << i <<
"]." 67 << ((a == 0) ?
"include" :
"exclude") <<
"(" << n <<
")";
83 return new (home)
ExcNGL(home,x,n);
89 std::ostream& o)
const {
90 o <<
"var[" << i <<
"]." 91 << ((a == 0) ?
"exclude" :
"include") <<
"(" << n <<
")";
No-good literal for inclusion.
ValCommitExc(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
ModEvent include(Space &home, int i, int j)
Update greatest lower bound to include all elements between and including i and j.
ValCommitInc(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value commit class for exclusion.
int ModEvent
Type for modification events.
Base class for value commit.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
void print(const Space &home, unsigned int a, SetView x, int i, int n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
No-good literal for exclusion.
ModEvent commit(Space &home, unsigned int a, SetView x, int i, int n)
Commit view x at position i to value n for alternative a.
Set view for set variables
Value branching information.
Value commit class for inclusion.
void print(const Space &home, unsigned int a, SetView x, int i, int n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
Post propagator for SetVar x
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
ModEvent exclude(Space &home, int i, int j)
Restrict least upper bound to not contain all elements between and including i and j...
Gecode toplevel namespace
ModEvent commit(Space &home, unsigned int a, SetView x, int i, int n)
Commit view x at position i to value n for alternative a.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
No-good literal recorded during search.