|
| SupportAdvisor (Space &home, Propagator &p, Council< SupportAdvisor > &c, int i0) |
| Initialize. More...
|
|
| SupportAdvisor (Space &home, bool share, SupportAdvisor &a) |
| Copy during cloning. More...
|
|
void | dispose (Space &home, Council< SupportAdvisor > &c) |
| Dispose advisor. 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 View>
class Gecode::Int::Sequence::SupportAdvisor< View >
Class for advising the propagator.
Definition at line 48 of file view.hpp.