Generated on Tue Apr 18 10:23:19 2017 for Gecode by doxygen 1.6.3
Gecode::ViewTraceRecorder::Idx

Gecode::ViewTraceRecorder< View >::Idx Class Reference

Advisor with index information. More...

#include <trace-recorder.hpp>

List of all members.

Public Member Functions

 Idx (Space &home, Propagator &p, Council< Idx > &c, int i)
 Constructor for creation.
 Idx (Space &home, bool share, Idx &a)
 Constructor for cloning a.
int idx (void) const
 Get index of view.

Protected Attributes

int _idx
 Index information.

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

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.

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

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

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: