telamon_simulator::telamon_private Namespace Reference

This module serves as a wrapper for the private data in the telamon_simulator module. More...

Classes
class	WaitFreeSimulator
	The main structure of the simulator. Contains the operations performed by the simulator. More...

Detailed Description

This module serves as a wrapper for the private data in the telamon_simulator module.