/**
* Checks whether the readsfrom set for this node is empty.
* @return true if the readsfrom set is empty.
/**
* Checks whether the readsfrom set for this node is empty.
* @return true if the readsfrom set is empty.
/**
* Mark the appropriate backtracking information for exploring a thread choice.
* @param act The ModelAction to explore
/**
* Mark the appropriate backtracking information for exploring a thread choice.
* @param act The ModelAction to explore
uint64_t Node::get_future_value() {
ASSERT(future_index<future_values.size());
return future_values[future_index];
uint64_t Node::get_future_value() {
ASSERT(future_index<future_values.size());
return future_values[future_index];