36namespace Gecode {
namespace Set {
namespace Branch {
40 return new (home)
IncNGL(home,*
this);
43 IncNGL::status(
const Space&)
const {
59 return new (home)
ExcNGL(home,*
this);
62 ExcNGL::status(
const Space&)
const {
No-good literal recorded during search.
Status
The status of a no-good literal.
@ SUBSUMED
The literal is subsumed.
@ FAILED
The literal is failed.
@ NONE
The literal is neither failed nor subsumed.
ExcNGL(Space &home, SetView x, int n)
Constructor for creation.
IncNGL(Space &home, SetView x, int n)
Constructor for creation.
bool contains(int i) const
Test whether i is in the greatest lower bound.
ModEvent include(Space &home, int i, int j)
Update greatest lower bound to include all elements between and including i and j.
bool notContains(int i) const
Test whether i is not in the least upper bound.
ModEvent exclude(Space &home, int i, int j)
Restrict least upper bound to not contain all elements between and including i and j.
bool me_failed(ModEvent me)
Check whether modification event me is failed.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.