X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=threads.h;h=a97a04c704449963981fe443a711c64abc716fb3;hp=7d2189b49d9f098a775b1cc158390cf76f49cbf4;hb=cf7518cb8c2d9cd3033ca7540ea9dc448b21912a;hpb=c400af2b7dfb87ce64c86f2d2b6a37d02421b263

diff --git a/threads.h b/threads.h
index 7d2189b4..a97a04c7 100644
--- a/threads.h
+++ b/threads.h
@@ -1,3 +1,7 @@
+/** @file threads.h
+ *  @brief Model Checker Thread class.
+ */
+
 #ifndef __THREADS_H__
 #define __THREADS_H__
 
@@ -18,6 +22,7 @@ typedef enum thread_state {
 
 class ModelAction;
 
+/** @brief A Thread is created for each user-space thread */
 class Thread {
 public:
 	Thread(thrd_t *t, void (*func)(void *), void *a);