backtrack[i] = false;
for (unsigned int i = 0; i < explored_children.size(); i++)
explored_children[i] = false;
+ numBacktracks = 0;
}
bool Node::is_enabled(Thread *t) const
* where this->action is a 'read'.
* @return The current element in read_from_promises
*/
-const Promise * Node::get_read_from_promise() const
+Promise * Node::get_read_from_promise() const
{
- if (read_from_promise_idx < 0 || read_from_promise_idx >= ((int)read_from_promises.size()))
- return NULL;
+ ASSERT(read_from_promise_idx >= 0 && read_from_promise_idx < ((int)read_from_promises.size()));
return read_from_promises[read_from_promise_idx]->get_reads_from_promise();
}