|
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...
|
|
const ViewTraceInfo & | operator() (const Space &home) const |
| Provide access to view trace information. 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 170 of file channel.hh.