Gecode::Set::Int::ChannelBool< View >::IndexAdvisor Class Reference

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.
Public Member Functions inherited from Gecode::Advisor
template<class A >
	Advisor (Space &home, Propagator &p, Council< A > &c)
	Constructor for creation.
	Advisor (Space &home, bool share, Advisor &a)
	Copying constructor.

Protected Attributes
int	idx
	The single index.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::Advisor
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.
Protected Member Functions inherited from Gecode::Advisor
Propagator &	propagator (void) const
	Return the advisor's propagator.

Detailed Description

template<class View>
class Gecode::Set::Int::ChannelBool< View >::IndexAdvisor

Advisor storing a single index

Definition at line 364 of file int.hh.

Constructor & Destructor Documentation

template<class View >

template<class A >

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.

template<class View >

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.

Member Function Documentation

template<class View >

int Gecode::Set::Int::ChannelBool< View >::IndexAdvisor::index ( void  ) const

inline

Access index.

Definition at line 64 of file channel-bool.hpp.

template<class View >

template<class A >

void Gecode::Set::Int::ChannelBool< View >::IndexAdvisor::dispose ( Space &  home, Council< A > &  c  )

inline

Delete advisor.

Reimplemented from Gecode::Advisor.

Definition at line 71 of file channel-bool.hpp.

Member Data Documentation

template<class View>

int Gecode::Set::Int::ChannelBool< View >::IndexAdvisor::idx

protected

The single index.

Definition at line 367 of file int.hh.

---

The documentation for this class was generated from the following files:

• gecode/set/int.hh (Revision: 11973)
• gecode/set/int/channel-bool.hpp (Revision: 10387)