- Gecode
- Search
- NoTraceRecorder
- ID

Class for storing node identifiers. More...
#include <trace-recorder.hpp>
Public Member Functions | |
| ID (void) | |
| Do not initialize. More... | |
| ID (unsigned int id) | |
| Initialize. More... | |
| operator unsigned int (void) const | |
| Access. More... | |
Class for storing node identifiers.
Definition at line 110 of file trace-recorder.hpp.
|
inline |
Do not initialize.
Definition at line 248 of file trace-recorder.hpp.
|
inline |
Initialize.
Definition at line 251 of file trace-recorder.hpp.
|
inline |
Access.
Definition at line 254 of file trace-recorder.hpp.