|
| | 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.