/home/elb/work/cs590n/mace/mace/lib/MaceTime.h File Reference

---

Detailed Description

defines mace::MaceTime and mace::MonotoneTime

Definition in file MaceTime.h.

#include <inttypes.h>
#include <pthread.h>
#include "RandomUtil.h"
#include "TimeUtil.h"
#include "Printable.h"
#include "Serializable.h"
#include "hash_string.h"
#include "Traits.h"

Include dependency graph for MaceTime.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	mace
namespace	__gnu_cxx
Classes
class	mace::MaceTime
	Simulator and Modelchecker friendly versions of time-of-day objects. Can be used for real execution too. More...
class	mace::MaceTimeComparitor
	functor for ordering MaceTime objects sanely in a map in the simulator More...
class	mace::MaceTimeEquality
	functor for equality testing MaceTime objects sanely in a map in the simulator More...
class	mace::MaceTimeHash
	functor for hashing a MaceTime object More...
class	mace::LogicalClock
struct	__gnu_cxx::__gnu_cxx::hash< mace::MaceTime >
	functor which makes hashing MaceTime objects automatic. More...
Typedefs
typedef uint64_t	mace::MonotoneTime
	monotone times are just uint64_t timestamps, and should be strictly monotone increasing.
Functions
MonotoneTime	mace::getmtime ()
	Use this method to get a MonotoneTime.