From: Brian Norris <banorris@uci.edu>
Date: Tue, 4 Dec 2012 02:29:42 +0000 (-0800)
Subject: action: add is_thread_start()
X-Git-Tag: oopsla2013~476
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=fe45c6f997fc39b80e8cfeb326b7cd514c0eda3b

action: add is_thread_start()
---

diff --git a/action.cc b/action.cc
index 41a025a..a90878f 100644
--- a/action.cc
+++ b/action.cc
@@ -70,6 +70,11 @@ void ModelAction::set_seq_number(modelclock_t num)
 	seq_number = num;
 }
 
+bool ModelAction::is_thread_start() const
+{
+	return type == THREAD_START;
+}
+
 bool ModelAction::is_relseq_fixup() const
 {
 	return type == MODEL_FIXUP_RELSEQ;
diff --git a/action.h b/action.h
index 82b8532..be87eca 100644
--- a/action.h
+++ b/action.h
@@ -96,6 +96,7 @@ public:
 	void copy_from_new(ModelAction *newaction);
 	void set_seq_number(modelclock_t num);
 	void set_try_lock(bool obtainedlock);
+	bool is_thread_start() const;
 	bool is_relseq_fixup() const;
 	bool is_mutex_op() const;
 	bool is_lock() const;