|
| template<class A > |
| | IndexAdvisor (Space &home, ChannelBool< View > &p, Council< A > &c, int index) |
| | Constructor for creation. More...
|
| |
| | IndexAdvisor (Space &home, bool share, IndexAdvisor &a) |
| | Constructor for cloning a. More...
|
| |
| int | index (void) const |
| | Access index. More...
|
| |
| template<class A > |
| void | dispose (Space &home, Council< A > &c) |
| | Delete 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::Set::Channel::ChannelBool< View >::IndexAdvisor
Advisor storing a single index
Definition at line 166 of file channel.hh.