X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;fp=action.cc;h=d425b6030f9cdaaccc928b75ddad9169bcb4f70a;hb=776279c18c4a4e6b763c4aeffc65fafe37205824;hp=4de6f354bfbccfbedc9061538ecb48be8e69e3e2;hpb=1ecf5bd03252dd97fa89b8528820b84adf810d07;p=model-checker.git

diff --git a/action.cc b/action.cc
index 4de6f35..d425b60 100644
--- a/action.cc
+++ b/action.cc
@@ -77,6 +77,11 @@ bool ModelAction::is_thread_start() const
 	return type == THREAD_START;
 }
 
+bool ModelAction::is_thread_join() const
+{
+	return type == THREAD_JOIN;
+}
+
 bool ModelAction::is_relseq_fixup() const
 {
 	return type == MODEL_FIXUP_RELSEQ;