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. | |
Tagged (Space &home, Tagged &a) | |
Clone tagged advisor a. | |
![]() | |
template<class A > | |
Advisor (Space &home, Propagator &p, Council< A > &c) | |
Constructor for creation. | |
Advisor (Space &home, Advisor &a) | |
Copying constructor. | |
const ViewTraceInfo & | operator() (const Space &home) const |
Provide access to view trace information. | |
template<class A > | |
void | dispose (Space &home, Council< A > &c) |
Dispose the advisor. | |
Public Attributes | |
const bool | x |
Whether advises a view for x or y. | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s, Space &home) |
Allocate memory from space. | |
static void | operator delete (void *p, Space &home) |
No-op for exceptions. | |
![]() | |
Propagator & | propagator (void) const |
Return the advisor's propagator. | |
Advisors for views (tagged whether for x or y)
|
inline |
Create tagged advisor.
Definition at line 193 of file clause.hpp.
|
inline |
Clone tagged advisor a.
Definition at line 199 of file clause.hpp.
const bool Gecode::Int::Bool::Clause< VX, VY >::Tagged::x |