Generated on Fri Jul 13 2018 06:08:37 for Gecode by doxygen 1.8.14
Gecode::ViewTraceRecorder< View >::Idx Class Reference

Advisor with index information. More...

#include <trace-recorder.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...
 
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 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 _idx
 Index 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::ViewTraceRecorder< View >::Idx

Advisor with index information.

Definition at line 91 of file trace-recorder.hpp.

Constructor & Destructor Documentation

◆ Idx() [1/2]

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

Constructor for creation.

Definition at line 244 of file trace-recorder.hpp.

◆ Idx() [2/2]

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

Constructor for cloning a.

Definition at line 249 of file trace-recorder.hpp.

Member Function Documentation

◆ idx()

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

Get index of view.

Definition at line 254 of file trace-recorder.hpp.

Member Data Documentation

◆ _idx

template<class View>
int Gecode::ViewTraceRecorder< View >::Idx::_idx
protected

Index information.

Definition at line 94 of file trace-recorder.hpp.


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