Gecode::Int::Branch::NqNGL< View > Class Template Reference
No-good literal for disequality. More...
#include <branch.hh>
Public Member Functions | |
NqNGL (Space &home, View x, int n) | |
Constructor for creation. | |
NqNGL (Space &home, NqNGL &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. |
Detailed Description
template<class View>
class Gecode::Int::Branch::NqNGL< View >
No-good literal for disequality.
Definition at line 429 of file branch.hh.
Constructor & Destructor Documentation
template<class View >
Gecode::Int::Branch::NqNGL< View >::NqNGL | ( | Space & | home, | |
View | x, | |||
int | n | |||
) | [inline] |
template<class View >
Gecode::Int::Branch::NqNGL< View >::NqNGL | ( | Space & | home, | |
NqNGL< View > & | ngl | |||
) | [inline] |
Member Function Documentation
template<class View >
NGL::Status Gecode::Int::Branch::NqNGL< View >::status | ( | const Space & | home | ) | const [inline, virtual] |
Test the status of the no-good literal.
Implements Gecode::NGL.
template<class View >
ExecStatus Gecode::Int::Branch::NqNGL< View >::prune | ( | Space & | home | ) | [inline, virtual] |
Propagate the negation of the no-good literal.
Implements Gecode::NGL.
template<class View >
NGL * Gecode::Int::Branch::NqNGL< View >::copy | ( | Space & | home | ) | [inline, virtual] |
The documentation for this class was generated from the following files: