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... | |
![]() | |
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 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... | |
![]() | |
Propagator & | propagator (void) const |
Return the advisor's propagator. More... | |
Advisors for views (tagged whether for x or y)
Gecode::Int::Bool::Clause< VX, VY >::Tagged::Tagged | ( | Space & | home, |
Propagator & | p, | ||
Council< Tagged > & | c, | ||
bool | x | ||
) |
Create tagged advisor.
Gecode::Int::Bool::Clause< VX, VY >::Tagged::Tagged | ( | Space & | home, |
bool | share, | ||
Tagged & | a | ||
) |
Clone tagged advisor a.
const bool Gecode::Int::Bool::Clause< VX, VY >::Tagged::x |