
Advisor storing a single index More...
#include <int.hh>
Public Member Functions | |
| template<class A > | |
| IndexAdvisor (Space &home, ChannelBool< View > &p, Council< A > &c, int index) | |
| Constructor for creation. | |
| IndexAdvisor (Space &home, bool share, IndexAdvisor &a) | |
| Constructor for cloning a. | |
| int | index (void) const |
| Access index. | |
| template<class A > | |
| void | dispose (Space &home, Council< A > &c) |
| Delete advisor. | |
Protected Attributes | |
| int | idx |
| The single index. | |
Advisor storing a single index
| Gecode::Set::Int::ChannelBool< View >::IndexAdvisor::IndexAdvisor | ( | Space & | home, |
| ChannelBool< View > & | p, | ||
| Council< A > & | c, | ||
| int | index | ||
| ) | [inline] |
Constructor for creation.
Definition at line 45 of file channel-bool.hpp.
| Gecode::Set::Int::ChannelBool< View >::IndexAdvisor::IndexAdvisor | ( | Space & | home, |
| bool | share, | ||
| IndexAdvisor & | a | ||
| ) | [inline] |
Constructor for cloning a.
Definition at line 58 of file channel-bool.hpp.
| int Gecode::Set::Int::ChannelBool< View >::IndexAdvisor::index | ( | void | ) | const [inline] |
Access index.
Definition at line 64 of file channel-bool.hpp.
| void Gecode::Set::Int::ChannelBool< View >::IndexAdvisor::dispose | ( | Space & | home, |
| Council< A > & | c | ||
| ) | [inline] |
int Gecode::Set::Int::ChannelBool< View >::IndexAdvisor::idx [protected] |