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