|
| GqNGL (Space &home, View x, int n) |
| Constructor for creation.
|
|
| GqNGL (Space &home, GqNGL &ngl) |
| Constructor for cloning ngl.
|
|
virtual NGL::Status | status (const Space &home) const |
| Test the status of the no-good literal.
|
|
virtual ExecStatus | prune (Space &home) |
| Propagate the negation of the no-good literal.
|
|
virtual NGL * | copy (Space &home) |
| Create copy.
|
|
| ViewValNGL (Space &home, View x, int 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.
|
|
| NGL (void) |
| Constructor for creation.
|
|
| NGL (Space &home) |
| Constructor for creation.
|
|
| NGL (Space &home, NGL &ngl) |
| Constructor for cloning ngl.
|
|
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.
|
|
template<class View>
class Gecode::Int::Branch::GqNGL< View >
No-good literal for greater or equal.
Definition at line 465 of file branch.hh.