Gecode::CHB::Recorder< View >::Idx Class Reference

Advisor with index and change information. More...

#include <chb.hpp>

Public Member Functions
	Idx (Space &home, Propagator &p, Council< Idx > &c, int i)
	Constructor for creation. More...
	Idx (Space &home, bool share, Idx &a)
	Constructor for cloning a. More...
void	mark (void)
	Mark advisor as modified. More...
void	unmark (void)
	Mark advisor as unmodified. More...
bool	marked (void) const
	Whether advisor's view has been marked. More...
int	idx (void) const
	Get index of view. More...
Public Member Functions inherited from Gecode::Advisor
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...

Protected Attributes
int	_info
	Index and mark information. More...

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

Detailed Description

template<class View>
class Gecode::CHB::Recorder< View >::Idx

Advisor with index and change information.

Definition at line 156 of file chb.hpp.

Constructor & Destructor Documentation

Idx() [1/2]

template<class View >

Gecode::CHB::Recorder< View >::Idx::Idx ( Space &  home, Propagator &  p, Council< Idx > &  c, int  i  )

inline

Constructor for creation.

Definition at line 217 of file chb.hpp.

Idx() [2/2]

template<class View >

Gecode::CHB::Recorder< View >::Idx::Idx ( Space &  home, bool  share, Idx &  a  )

inline

Constructor for cloning a.

Definition at line 222 of file chb.hpp.

Member Function Documentation

mark()

template<class View >

void Gecode::CHB::Recorder< View >::Idx::mark ( void  )

inline

Mark advisor as modified.

Definition at line 227 of file chb.hpp.

unmark()

template<class View >

void Gecode::CHB::Recorder< View >::Idx::unmark ( void  )

inline

Mark advisor as unmodified.

Definition at line 237 of file chb.hpp.

marked()

template<class View >

bool Gecode::CHB::Recorder< View >::Idx::marked ( void  ) const

inline

Whether advisor's view has been marked.

Definition at line 232 of file chb.hpp.

idx()

template<class View >

int Gecode::CHB::Recorder< View >::Idx::idx ( void  ) const

inline

Get index of view.

Definition at line 243 of file chb.hpp.

Member Data Documentation

_info

template<class View>

int Gecode::CHB::Recorder< View >::Idx::_info

protected

Index and mark information.

Definition at line 159 of file chb.hpp.

---

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

• gecode/kernel/chb.hpp (Revision: 15565)