dbm::ClockAccessor Class Reference

#include <fed.h>

Inheritance diagram for dbm::ClockAccessor:

List of all members.

Public Member Functions
virtual	~ClockAccessor ()
virtual const std::string	getClockName (cindex_t index) const =0

---

Constructor & Destructor Documentation

virtual dbm::ClockAccessor::~ClockAccessor (   )  [inline, virtual]

---

Member Function Documentation

virtual const std::string dbm::ClockAccessor::getClockName (  cindex_t  index  )  const [pure virtual]

Returns: the name of a given clock (index). The reference clock corresponds to index 0. Implemented in FedClockAccessor.

---

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

• /home/adavid/UPPAAL/trunk/server/modules/include/dbm/fed.h

---