|
| | EqNGL (Space &home, View x, int n) |
| | Constructor for creation. More...
|
| |
| | EqNGL (Space &home, bool share, EqNGL &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::EqNGL< View >
No-good literal for equality.
Definition at line 421 of file branch.hh.