X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=e375016e4c96367634a207f8f92948a5ac56c965;hb=ea4611c1fc3b580020afbc04d531e4bc10fcca9c;hp=a20792033f471ba21744b9de870aa42840490f38;hpb=db5cad55a147218984ef544439ee8a936303ddf8;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;