
View-value no-good literal. More...
#include <view-val.hpp>
Public Member Functions | |
| ViewValNGL (Space &home, View x, Val n) | |
| Initialize for propagator p with view x and value n. | |
| ViewValNGL (Space &home, ViewValNGL &ngl) | |
| Constructor for cloning ngl. | |
| virtual void | subscribe (Space &home, Propagator &p) |
| Create subscription for no-good literal. | |
| virtual void | cancel (Space &home, Propagator &p) |
| Cancel subscription for no-good literal. | |
| virtual void | reschedule (Space &home, Propagator &p) |
| Schedule propagator p. | |
| virtual size_t | dispose (Space &home) |
| Dispose. | |
| Public Member Functions inherited from Gecode::NGL | |
| NGL (void) | |
| Constructor for creation. | |
| NGL (Space &home) | |
| Constructor for creation. | |
| NGL (Space &home, NGL &ngl) | |
| Constructor for cloning ngl. | |
| virtual NGL::Status | status (const Space &home) const =0 |
| Test the status of the no-good literal. | |
| virtual ExecStatus | prune (Space &home)=0 |
| Propagate the negation of the no-good literal. | |
| virtual NGL * | copy (Space &home)=0 |
| Create copy. | |
| virtual bool | notice (void) const |
| Whether dispose must always be called (returns false) | |
| bool | leaf (void) const |
| Test whether literal is a leaf. | |
| NGL * | next (void) const |
| Return pointer to next literal. | |
| void | leaf (bool l) |
| Mark literal as leaf or not. | |
| void | next (NGL *n) |
| Set pointer to next literal | |
| NGL * | add (NGL *n, bool l) |
| Add node n and mark it as leaf l and return n. | |
| virtual | ~NGL (void) |
| To avoid warnings. | |
Protected Attributes | |
| View | x |
| The stored view. | |
| Val | n |
| The stored value. | |
Additional Inherited Members | |
| Public Types inherited from Gecode::NGL | |
| 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. | |
| static void | operator delete (void *s, Space &home) |
| Return memory to space. | |
| static void | operator delete (void *p) |
| Needed for exceptions. | |
| static void * | operator new (size_t s) |
| Not used. | |
View-value no-good literal.
Definition at line 61 of file view-val.hpp.
Initialize for propagator p with view x and value n.
Definition at line 183 of file view-val.hpp.
|
inline |
Constructor for cloning ngl.
Definition at line 188 of file view-val.hpp.
|
virtual |
Create subscription for no-good literal.
Implements Gecode::NGL.
Definition at line 195 of file view-val.hpp.
|
virtual |
Cancel subscription for no-good literal.
Implements Gecode::NGL.
Definition at line 201 of file view-val.hpp.
|
virtual |
|
virtual |
The stored view.
Definition at line 64 of file view-val.hpp.
The stored value.
Definition at line 66 of file view-val.hpp.