fix mutex_trylock bug
[c11tester.git] / 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__ */