Gecode::ViewValNGL< View, Val, pc > Class Template Reference
[Generic brancher based on view and value selection]
View-value no-good literal. More...
#include <view-val.hpp>
Public Member Functions | |
| ViewValNGL (Space &home, View x, Val 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. | |
Protected Attributes | |
| View | x |
| The stored view. | |
| Val | n |
| The stored value. | |
Detailed Description
template<class View, class Val, PropCond pc>
class Gecode::ViewValNGL< View, Val, pc >
View-value no-good literal.
Definition at line 61 of file view-val.hpp.
Constructor & Destructor Documentation
template<class View, class Val, PropCond pc>
| Gecode::ViewValNGL< View, Val, pc >::ViewValNGL | ( | Space & | home, | |
| View | x, | |||
| Val | n | |||
| ) | [inline] |
Initialize for propagator p with view x and value n.
Definition at line 183 of file view-val.hpp.
template<class View, class Val, PropCond pc>
| Gecode::ViewValNGL< View, Val, pc >::ViewValNGL | ( | Space & | home, | |
| ViewValNGL< View, Val, pc > & | ngl | |||
| ) | [inline] |
Constructor for cloning ngl.
Definition at line 188 of file view-val.hpp.
Member Function Documentation
template<class View , class Val , PropCond pc>
| void Gecode::ViewValNGL< View, Val, pc >::subscribe | ( | Space & | home, | |
| Propagator & | p | |||
| ) | [inline, virtual] |
Create subscription for no-good literal.
Implements Gecode::NGL.
Definition at line 195 of file view-val.hpp.
template<class View , class Val , PropCond pc>
| void Gecode::ViewValNGL< View, Val, pc >::cancel | ( | Space & | home, | |
| Propagator & | p | |||
| ) | [inline, virtual] |
Cancel subscription for no-good literal.
Implements Gecode::NGL.
Definition at line 201 of file view-val.hpp.
template<class View , class Val , PropCond pc>
| void Gecode::ViewValNGL< View, Val, pc >::reschedule | ( | Space & | home, | |
| Propagator & | p | |||
| ) | [inline, virtual] |
template<class View , class Val , PropCond pc>
| size_t Gecode::ViewValNGL< View, Val, pc >::dispose | ( | Space & | home | ) | [inline, virtual] |
Member Data Documentation
template<class View, class Val, PropCond pc>
View Gecode::ViewValNGL< View, Val, pc >::x [protected] |
The stored view.
Definition at line 64 of file view-val.hpp.
template<class View, class Val, PropCond pc>
Val Gecode::ViewValNGL< View, Val, pc >::n [protected] |
The stored value.
Definition at line 66 of file view-val.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/branch/view-val.hpp