Generated on Thu Apr 5 2018 19:44:19 for Gecode by doxygen 1.8.13
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, 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, Advisor &a)
 Copying constructor. More...
 
const ViewTraceInfooperator() (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
Propagatorpropagator (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 149 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 210 of file chb.hpp.

◆ Idx() [2/2]

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

Constructor for cloning a.

Definition at line 215 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 220 of file chb.hpp.

◆ unmark()

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

Mark advisor as unmodified.

Definition at line 230 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 225 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 236 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 152 of file chb.hpp.


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