X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=d8ce567039bfc451c13916aefc6d15b4b5211e38;hb=3f376daab54b640efb30700f83bc3ab1cfb88848;hp=4cdca0d7a7272b2f4c6eef265ef34ca613bc0c3f;hpb=ab6885beecafb5ae9103845c03a6e72ddacd79ec;p=c11tester.git

diff --git a/action.cc b/action.cc
index 4cdca0d7..d8ce5670 100644
--- a/action.cc
+++ b/action.cc
@@ -251,6 +251,10 @@ bool ModelAction::is_wait() const {
 	return type == ATOMIC_WAIT || type == ATOMIC_TIMEDWAIT;
 }
 
+bool ModelAction::is_timedwait() const {
+	return type == ATOMIC_TIMEDWAIT;
+}
+
 bool ModelAction::is_notify() const {
 	return type == ATOMIC_NOTIFY_ONE || type == ATOMIC_NOTIFY_ALL;
 }