50 return (a == 0) ?
x.include(home,n) :
x.exclude(home,n);
55 return new (home)
IncNGL(home,
x,n);
61 std::ostream& o)
const {
62 o <<
"var[" << i <<
"]."
63 << ((a == 0) ?
"include" :
"exclude") <<
"(" << n <<
")";
74 return (a == 0) ?
x.exclude(home,n) :
x.include(home,n);
79 return new (home)
ExcNGL(home,
x,n);
85 std::ostream& o)
const {
86 o <<
"var[" << i <<
"]."
87 << ((a == 0) ?
"exclude" :
"include") <<
"(" << n <<
")";
No-good literal recorded during search.
No-good literal for exclusion.
No-good literal for inclusion.
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.
ValCommitExc(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
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.
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.
ValCommitInc(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
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.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
Set view for set variables
Value branching information.
ValCommit(Space &home, const ValBranch< Var > &vb)
Gecode toplevel namespace
Post propagator for SetVar x
int ModEvent
Type for modification events.