|
| 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...
|
|
template<class VX, class VY>
class Gecode::Int::Bool::Clause< VX, VY >::Tagged
Advisors for views (tagged whether for x or y)
Definition at line 501 of file bool.hh.