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