| ▼Nhelpqueue | This module contains the implementation of a wait-free queue used as an underlying structure in the simulation - "help queue" |
| ▼CHelpQueue | This is the main class representing the help queue |
| CNode | The class which represents a node element of the queue |
| COperationDescription | Operation description for the queue used when the queue itself needs "helping" |
| ▼Ntelamon_simulator | This module encapsulates the implementation of the simulator |
| ▼Ntelamon_private | This module serves as a wrapper for the private data in the telamon_simulator module |
| CWaitFreeSimulator | The main structure of the simulator. Contains the operations performed by the simulator |
| ▼Nversioning | This modules contains the operatios and classes related to versioning of the objects used in the simulated algorihtm |
| ▼Ntelamon_private | This module serves as a wrapper for the private data in the telamon_simulator module |
| CReferencedBase | Base class for the Referenced class which contains the common data between different template classes |
| CReferenced | Used to represent a value which is referenced by a "node" from the structure but with additional meta data(Meta) and versioning(VersionNum) |
| CReferenced< ValType, void > | Used to represent a value which is referenced by a "node" from the structure |
| CVersionedAtomic | An atomic primitive which support versioning. The type which is wrapper has additional meta data |
| CVersionedAtomic< ValType, void > | An atomic primitive which support versioning. The type which is wrapper has no additional meta data |
| ▼COperationRecord | A class which represents a single operation contained in a OperationRecordBox |
| CCompleted | Meta data related to CAS which is complete |
| CExecutingCas | Meta data related to CAS which is going to be executed |
| CPostCas | Meta data related to CAS which has already been executed |
| CPreCas | Meta data related to CAS which is still pending |
| COperationRecordBox | A class which represents a single operation stored in the help queue |
| CContentionFailureCounter | Measures the contention which was encountered during simulation |
| ▼CWaitFreeSimulatorHandle | A handle class which is used to obtain access to the wait-free simulator |
| CMetaData | A class which represents the meta data of the handle class. Used only when forking a handle from another and then retiring a handle |
| COverloadedVisitor | Used by std::visit for the helping operation in the simulator |
