include/modeltypes.h

   1 /**
   2  * @file modeltypes.h
   3  * @brief Common typedefs for the model-checker
   4  */
   5
   6 #ifndef __MODELTYPES_H__
   7 #define __MODELTYPES_H__
   8
   9 /**
  10  * @brief Represents a unique ID for a Thread
  11  *
  12  * The space of unique IDs may need to become a non-compact
  13  * or non-zero-indexed set of integers (or even some other
  14  * type). So this typedef is used to help identify which is
  15  * which, where a simple 'int' is meant to be a compact,
  16  * zero-indexed set and a 'thread_id_t' may be another type
  17  * entirely.
  18  *
  19  * @see id_to_int
  20  * @see int_to_id
  21  */
  22 typedef int thread_id_t;
  23
  24 #define THREAD_ID_T_NONE        -1
  25
  26 typedef unsigned int modelclock_t;
  27
  28 #endif  /* __MODELTYPES_H__ */