modeltypes.h

   1 #ifndef __MODELTYPES_H__
   2 #define __MODELTYPES_H__
   3
   4 typedef int thread_id_t;
   5
   6 #define THREAD_ID_T_NONE        -1
   7
   8 typedef unsigned int modelclock_t;
   9
  10 #endif /* __MODELTYPES_H__ */