3 * @brief Common typedefs for the model-checker
6 #ifndef __MODELTYPES_H__
7 #define __MODELTYPES_H__
10 * @brief Represents a unique ID for a Thread
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
22 typedef int thread_id_t;
24 #define THREAD_ID_T_NONE -1
26 typedef unsigned int modelclock_t;
28 #endif /* __MODELTYPES_H__ */