Generated on Sat Feb 7 2015 02:01:39 for Gecode by doxygen 1.8.9.1
Gecode::Activity::Recorder< View >::Idx Class Reference

Advisor with index and change information. More...

#include <activity.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...
 
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
Propagatorpropagator (void) const
 Return the advisor's propagator. More...
 

Detailed Description

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

Advisor with index and change information.

Definition at line 152 of file activity.hpp.

Constructor & Destructor Documentation

template<class View >
Gecode::Activity::Recorder< View >::Idx::Idx ( Space home,
Propagator p,
Council< Idx > &  c,
int  i 
)
inline

Constructor for creation.

Definition at line 209 of file activity.hpp.

template<class View >
Gecode::Activity::Recorder< View >::Idx::Idx ( Space home,
bool  share,
Idx a 
)
inline

Constructor for cloning a.

Definition at line 214 of file activity.hpp.

Member Function Documentation

template<class View >
void Gecode::Activity::Recorder< View >::Idx::mark ( void  )
inline

Mark advisor as modified.

Definition at line 219 of file activity.hpp.

template<class View >
void Gecode::Activity::Recorder< View >::Idx::unmark ( void  )
inline

Mark advisor as unmodified.

Definition at line 224 of file activity.hpp.

template<class View >
bool Gecode::Activity::Recorder< View >::Idx::marked ( void  ) const
inline

Whether advisor's view has been marked.

Definition at line 229 of file activity.hpp.

template<class View >
int Gecode::Activity::Recorder< View >::Idx::idx ( void  ) const
inline

Get index of view.

Definition at line 234 of file activity.hpp.

Member Data Documentation

template<class View>
int Gecode::Activity::Recorder< View >::Idx::_info
protected

Index and mark information.

Definition at line 155 of file activity.hpp.


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