Generated on Tue May 22 09:40:55 2018 for Gecode by doxygen 1.6.3

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

Advisor with index and change information. More...

#include <chb.hpp>

List of all members.

Public Member Functions

 Idx (Space &home, Propagator &p, Council< Idx > &c, int i)
 Constructor for creation.
 Idx (Space &home, Idx &a)
 Constructor for cloning a.
void mark (void)
 Mark advisor as modified.
void unmark (void)
 Mark advisor as unmodified.
bool marked (void) const
 Whether advisor's view has been marked.
int idx (void) const
 Get index of view.

Protected Attributes

int _info
 Index and mark information.

Detailed Description

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

Advisor with index and change information.

Definition at line 145 of file chb.hpp.


Constructor & Destructor Documentation

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 206 of file chb.hpp.

template<class View >
Gecode::CHB::Recorder< View >::Idx::Idx ( Space home,
Idx a 
) [inline]

Constructor for cloning a.

Definition at line 211 of file chb.hpp.


Member Function Documentation

template<class View >
void Gecode::CHB::Recorder< View >::Idx::mark ( void   )  [inline]

Mark advisor as modified.

Definition at line 216 of file chb.hpp.

template<class View >
void Gecode::CHB::Recorder< View >::Idx::unmark ( void   )  [inline]

Mark advisor as unmodified.

Definition at line 226 of file chb.hpp.

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

Whether advisor's view has been marked.

Definition at line 221 of file chb.hpp.

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

Get index of view.

Definition at line 232 of file chb.hpp.


Member Data Documentation

template<class View>
int Gecode::CHB::Recorder< View >::Idx::_info [protected]

Index and mark information.

Definition at line 148 of file chb.hpp.


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