1 #ifndef VRPN_LAMPORT_CLOCK_H
2 #define VRPN_LAMPORT_CLOCK_H
38 vrpn_uint32 operator [] (
int i)
const;
41 int size (
void)
const;
47 void copy (
const vrpn_uint32 *);
52 vrpn_uint32 * d_timestamp;
83 vrpn_uint32 * d_currentTimestamp;
89 #endif // VRPN_LAMPORT_CLOCK_H