
Advisors for views (tagged whether for x or y) More...
#include <bool.hh>
Public Member Functions | |
| Tagged (Space &home, Propagator &p, Council< Tagged > &c, bool x) | |
| Create tagged advisor. More... | |
| Tagged (Space &home, bool share, Tagged &a) | |
| Clone tagged advisor a. More... | |
Public Member Functions inherited from Gecode::Advisor | |
| template<class A > | |
| Advisor (Space &home, Propagator &p, Council< A > &c) | |
| Constructor for creation. More... | |
| Advisor (Space &home, bool share, Advisor &a) | |
| Copying constructor. More... | |
| template<class A > | |
| void | dispose (Space &home, Council< A > &c) |
| Dispose the advisor. More... | |
Public Attributes | |
| const bool | x |
| Whether advises a view for x or y. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Advisor | |
| static void * | operator new (size_t s, Space &home) |
| Allocate memory from space. More... | |
| static void | operator delete (void *p, Space &home) |
| No-op for exceptions. More... | |
Protected Member Functions inherited from Gecode::Advisor | |
| Propagator & | propagator (void) const |
| Return the advisor's propagator. More... | |
Advisors for views (tagged whether for x or y)
|
inline |
Create tagged advisor.
Definition at line 197 of file clause.hpp.
|
inline |
Clone tagged advisor a.
Definition at line 203 of file clause.hpp.
| const bool Gecode::Int::Bool::Clause< VX, VY >::Tagged::x |