From 47b2fd4cd300ca75188015c2de43716f2c28baee Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 20 Sep 2012 15:49:02 -0700
Subject: [PATCH] more documentation
---
model.cc | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/model.cc b/model.cc
index 205ae7c..aa83cfc 100644
--- a/model.cc
+++ b/model.cc
@@ -243,6 +243,13 @@ ModelAction * ModelChecker::get_last_conflict(ModelAction *act)
return NULL;
}
+/** This method find backtracking points where we should try to
+ * reorder the parameter ModelAction against.
+ *
+ * @param the ModelAction to find backtracking points for.
+ */
+
+
void ModelChecker::set_backtracking(ModelAction *act)
{
Thread *t = get_thread(act);
@@ -1525,6 +1532,11 @@ void ModelChecker::add_thread(Thread *t)
scheduler->add_thread(t);
}
+/**
+ * Removes a thread from the scheduler.
+ * @param the thread to remove.
+ */
+
void ModelChecker::remove_thread(Thread *t)
{
scheduler->remove_thread(t);
--
2.34.1