Class for a sentinel no-good literal. More...
#include <nogoods.hh>
Public Member Functions | |
NoNGL (void) | |
Constructor for creation. More... | |
NoNGL (Space &home) | |
Constructor for creation. More... | |
NoNGL (Space &home, bool share, NoNGL &ngl) | |
Constructor for cloning ngl. More... | |
virtual void | subscribe (Space &home, Propagator &p) |
Subscribe propagator p to all views of the no-good literal. More... | |
virtual void | cancel (Space &home, Propagator &p) |
Cancel propagator p from all views of the no-good literal. More... | |
virtual NGL::Status | status (const Space &home) const |
Test the status of the no-good literal. More... | |
virtual ExecStatus | prune (Space &home) |
Propagate the negation of the no-good literal. More... | |
virtual NGL * | copy (Space &home, bool share) |
Create copy. More... | |
![]() | |
NGL (void) | |
Constructor for creation. More... | |
NGL (Space &home) | |
Constructor for creation. More... | |
NGL (Space &home, bool share, NGL &ngl) | |
Constructor for cloning ngl. More... | |
virtual bool | notice (void) const |
Whether dispose must always be called (returns false) More... | |
virtual size_t | dispose (Space &home) |
Dispose. More... | |
bool | leaf (void) const |
Test whether literal is a leaf. More... | |
NGL * | next (void) const |
Return pointer to next literal. More... | |
void | leaf (bool l) |
Mark literal as leaf or not. More... | |
void | next (NGL *n) |
Set pointer to next literal More... | |
NGL * | add (NGL *n, bool l) |
Add node n and mark it as leaf l and return n. More... | |
Additional Inherited Members | |
![]() | |
enum | Status { FAILED, SUBSUMED, NONE } |
The status of a no-good literal. More... | |
![]() | |
static void * | operator new (size_t s, Space &home) |
Allocate memory from space. More... | |
static void | operator delete (void *s, Space &home) |
Return memory to space. More... | |
static void | operator delete (void *p) |
Needed for exceptions. More... | |
Class for a sentinel no-good literal.
Definition at line 46 of file nogoods.hh.
|
inline |
Constructor for creation.
Definition at line 92 of file nogoods.hh.
|
inline |
Constructor for creation.
Definition at line 95 of file nogoods.hh.
Constructor for cloning ngl.
Definition at line 99 of file nogoods.hh.
|
virtual |
Subscribe propagator p to all views of the no-good literal.
Implements Gecode::NGL.
Definition at line 53 of file nogoods.cpp.
|
virtual |
Cancel propagator p from all views of the no-good literal.
Implements Gecode::NGL.
Definition at line 57 of file nogoods.cpp.
|
virtual |
Test the status of the no-good literal.
Implements Gecode::NGL.
Definition at line 61 of file nogoods.cpp.
|
virtual |
Propagate the negation of the no-good literal.
Implements Gecode::NGL.
Definition at line 66 of file nogoods.cpp.