Gecode::Action::Recorder< View, p, f >::Idx Class Reference

Advisor with index and change information. More...

#include <gecode/kernel/branch/action.hpp>

Public Member Functions
	Idx (Space &home, Propagator &r, Council< Idx > &c, int i)
	Constructor for creation.
	Idx (Space &home, Idx &a)
	Constructor for cloning a.
void	propagate (void)
	Mark index as propagated.
void	fail (void)
	Mark index as failed.
bool	propagated (void) const
	Whether index has been propagated.
bool	failed (void) const
	Whether index has been failed.
void	clear (void)
	Clear any information.
int	idx (void) const
	Get index of view.
Public Member Functions inherited from Gecode::Advisor
template<class A>
	Advisor (Space &home, Propagator &p, Council< A > &c)
	Constructor for creation.
	Advisor (Space &home, Advisor &a)
	Copying constructor.
const ViewTraceInfo &	operator() (const Space &home) const
	Provide access to view trace information.
template<class A>
void	dispose (Space &home, Council< A > &c)
	Dispose the advisor.

Protected Attributes
unsigned int	_info
	Index and mark/failed information.

Additional Inherited Members
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, bool p, bool f>
class Gecode::Action::Recorder< View, p, f >::Idx

Advisor with index and change information.

Definition at line 143 of file action.hpp.

Constructor & Destructor Documentation

Idx() [1/2]

template<class View, bool p, bool f>

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

inline

Constructor for creation.

Definition at line 208 of file action.hpp.

Idx() [2/2]

template<class View, bool p, bool f>

Gecode::Action::Recorder< View, p, f >::Idx::Idx ( Space & home, Idx & a )

inline

Constructor for cloning a.

Definition at line 213 of file action.hpp.

Member Function Documentation

propagate()

template<class View, bool p, bool f>

void Gecode::Action::Recorder< View, p, f >::Idx::propagate ( void )

inline

Mark index as propagated.

Definition at line 218 of file action.hpp.

fail()

template<class View, bool p, bool f>

void Gecode::Action::Recorder< View, p, f >::Idx::fail ( void )

inline

Mark index as failed.

Definition at line 223 of file action.hpp.

propagated()

template<class View, bool p, bool f>

bool Gecode::Action::Recorder< View, p, f >::Idx::propagated ( void ) const

inline

Whether index has been propagated.

Definition at line 228 of file action.hpp.

failed()

template<class View, bool p, bool f>

bool Gecode::Action::Recorder< View, p, f >::Idx::failed ( void ) const

inline

Whether index has been failed.

Definition at line 233 of file action.hpp.

clear()

template<class View, bool p, bool f>

void Gecode::Action::Recorder< View, p, f >::Idx::clear ( void )

inline

Clear any information.

Definition at line 238 of file action.hpp.

idx()

template<class View, bool p, bool f>

int Gecode::Action::Recorder< View, p, f >::Idx::idx ( void ) const

inline

Get index of view.

Definition at line 243 of file action.hpp.

Member Data Documentation

_info

template<class View, bool p, bool f>

unsigned int Gecode::Action::Recorder< View, p, f >::Idx::_info

protected

Index and mark/failed information.

Definition at line 146 of file action.hpp.

---

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

• gecode/kernel/branch/action.hpp