View-value no-good literal. More...
#include <brancher-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, bool share, 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 size_t | dispose (Space &home) |
Dispose. | |
Protected Attributes | |
View | x |
The stored view. | |
Val | n |
The stored value. |
View-value no-good literal.
Definition at line 68 of file brancher-view-val.hpp.
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 187 of file brancher-view-val.hpp.
Gecode::ViewValNGL< View, Val, pc >::ViewValNGL | ( | Space & | home, |
bool | share, | ||
ViewValNGL< View, Val, pc > & | ngl | ||
) | [inline] |
Constructor for cloning ngl.
Definition at line 192 of file brancher-view-val.hpp.
void Gecode::ViewValNGL< View, Val, pc >::subscribe | ( | Space & | home, |
Propagator & | p | ||
) | [virtual] |
Create subscription for no-good literal.
Implements Gecode::NGL.
Definition at line 199 of file brancher-view-val.hpp.
void Gecode::ViewValNGL< View, Val, pc >::cancel | ( | Space & | home, |
Propagator & | p | ||
) | [virtual] |
Cancel subscription for no-good literal.
Implements Gecode::NGL.
Definition at line 205 of file brancher-view-val.hpp.
size_t Gecode::ViewValNGL< View, Val, pc >::dispose | ( | Space & | home | ) | [virtual] |
View Gecode::ViewValNGL< View, Val, pc >::x [protected] |
The stored view.
Definition at line 71 of file brancher-view-val.hpp.
Val Gecode::ViewValNGL< View, Val, pc >::n [protected] |
The stored value.
Definition at line 73 of file brancher-view-val.hpp.