return (type == ATOMIC_TRYLOCK && value == VALUE_TRYFAILED);
}
+/** @return True if this operation is performed on a C/C++ atomic variable */
+bool ModelAction::is_atomic_var() const
+{
+ return is_read() || could_be_write();
+}
+
bool ModelAction::is_uninitialized() const
{
return type == ATOMIC_UNINIT;
value=VALUE_TRYFAILED;
}
+/** @return The Node associated with this ModelAction */
+Node * ModelAction::get_node() const
+{
+ /* UNINIT actions do not have a Node */
+ ASSERT(!is_uninitialized());
+ return node;
+}
+
/**
* Update the model action's read_from action
* @param act The action to read from; should be a write