No-good literal for exclusion. More...
#include <branch.hh>
Public Member Functions | |
ExcNGL (Space &home, SetView x, int n) | |
Constructor for creation. | |
ExcNGL (Space &home, bool share, ExcNGL &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, bool share) |
Create copy. |
Gecode::Set::Branch::ExcNGL::ExcNGL | ( | Space & | home, |
SetView | x, | ||
int | n | ||
) | [inline] |
Gecode::Set::Branch::ExcNGL::ExcNGL | ( | Space & | home, |
bool | share, | ||
ExcNGL & | ngl | ||
) | [inline] |
NGL::Status Gecode::Set::Branch::ExcNGL::status | ( | const Space & | home | ) | const [virtual] |
Test the status of the no-good literal.
Implements Gecode::NGL.
ExecStatus Gecode::Set::Branch::ExcNGL::prune | ( | Space & | home | ) | [virtual] |
Propagate the negation of the no-good literal.
Implements Gecode::NGL.
NGL * Gecode::Set::Branch::ExcNGL::copy | ( | Space & | home, |
bool | share | ||
) | [virtual] |