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.
Protected Attributes
int	idx
	The single index.

Detailed Description

Advisor storing a single index

Definition at line 364 of file int.hh.

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.

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.

template<class View>

The single index.

Definition at line 367 of file int.hh.

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