X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;fp=action.cc;h=4b380c2dd404fafc1b4be9846433967daa8cd167;hb=fa36db2da01d7da10e0cd375fda3c2db4ce3a05b;hp=be8c4a6c0cdc69bde75fd08436a33705fa9157af;hpb=56bd79d6fa2953585375f72cf061355fecd2c725;p=model-checker.git

diff --git a/action.cc b/action.cc
index be8c4a6..4b380c2 100644
--- a/action.cc
+++ b/action.cc
@@ -151,6 +151,11 @@ bool ModelAction::could_be_write() const
 	return is_write() || is_rmwr();
 }
 
+bool ModelAction::is_yield() const
+{
+	return type == THREAD_YIELD;
+}
+
 bool ModelAction::is_rmwr() const
 {
 	return type == ATOMIC_RMWR;