#ifndef __IFMO_DISTRIBUTED_CLASS_LAMPORT__H
#define __IFMO_DISTRIBUTED_CLASS_LAMPORT__H
#include "ipc.h"

extern timestamp_t gl_lamport_time;

timestamp_t get_lamport_time();
void lamport_message_handler( timestamp_t *lamport_time, 
                              timestamp_t local_time);
void lamport_increase( timestamp_t *lamport_time );
void lamport_init( timestamp_t *lamport_time );

#endif