|
| NqNGL (Space &home, View x, int n) |
| Constructor for creation. More...
|
|
| NqNGL (Space &home, bool share, NqNGL &ngl) |
| Constructor for cloning ngl. 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...
|
|
| ViewValNGL (Space &home, View x, intn) |
| Initialize for propagator p with view x and value n. More...
|
|
| ViewValNGL (Space &home, bool share, ViewValNGL &ngl) |
| Constructor for cloning ngl. More...
|
|
virtual void | subscribe (Space &home, Propagator &p) |
| Create subscription for no-good literal. More...
|
|
virtual void | cancel (Space &home, Propagator &p) |
| Cancel subscription for no-good literal. More...
|
|
virtual size_t | dispose (Space &home) |
| Dispose. 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...
|
|
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...
|
|
template<class View>
class Gecode::Int::Branch::NqNGL< View >
No-good literal for disequality.
Definition at line 439 of file branch.hh.