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

diff --git a/action.h b/action.h
index a207920..e375016 100644
--- a/action.h
+++ b/action.h
@@ -121,6 +121,7 @@ public:
 	bool is_uninitialized() const;
 	bool is_read() const;
 	bool is_write() const;
+	bool is_yield() const;
 	bool could_be_write() const;
 	bool is_rmwr() const;
 	bool is_rmwc() const;