Generated on Tue May 22 09:41:39 2018 for Gecode by doxygen 1.6.3

Gecode::Search::TraceRecorder::ID Class Reference

Class for storing identifiers. More...

#include <trace-recorder.hpp>

List of all members.

Public Member Functions

 ID (void)
 Do not initialize.
 ID (unsigned int id)
 operator unsigned int (void) const

Protected Attributes

unsigned int _id
 The actual identifier.

Detailed Description

Class for storing identifiers.

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

Constructor & Destructor Documentation

Gecode::Search::TraceRecorder::ID::ID ( void   )  [inline]

Do not initialize.

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

Gecode::Search::TraceRecorder::ID::ID ( unsigned int  id  )  [inline]


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

Member Function Documentation

Gecode::Search::TraceRecorder::ID::operator unsigned int ( void   )  const [inline]


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

Member Data Documentation

unsigned int Gecode::Search::TraceRecorder::ID::_id [protected]

The actual identifier.

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

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