From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 6 Jun 2012 08:53:30 +0000 (-0700)
Subject: more documentation
X-Git-Tag: pldi2013~391^2~44
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8d2c3d2f851fc5edcfdad119850cc1050629737a;p=model-checker.git

more documentation
---

diff --git a/schedule.h b/schedule.h
index 9b34e82..ad9f11a 100644
--- a/schedule.h
+++ b/schedule.h
@@ -11,6 +11,7 @@
 /* Forward declaration */
 class Thread;
 
+/** @brief The Scheduler class controls the Thread execution schedule. */
 class Scheduler {
 public:
 	Scheduler();