/** @brief Prints info about may_read_from set */
void Node::print_may_read_from()
{
- readfrom_set_t::iterator it;
- for (it = may_read_from.begin(); it != may_read_from.end(); it++)
- (*it)->print();
+ for (unsigned int i = 0; i < may_read_from.size(); i++)
+ may_read_from[i]->print();
}
/**
class ModelAction;
-typedef std::vector< const ModelAction *, MyAlloc< const ModelAction * > > readfrom_set_t;
-typedef std::vector< uint64_t, MyAlloc< uint64_t > > futurevalues_t;
-typedef std::vector< uint32_t, MyAlloc< uint32_t > > promises_t;
-
/**
* @brief A single node in a NodeStack
*
/** The set of ModelActions that this the action at this Node may read
* from. Only meaningful if this Node represents a 'read' action. */
- readfrom_set_t may_read_from;
+ std::vector< const ModelAction *, MyAlloc< const ModelAction * > > may_read_from;
+
unsigned int read_from_index;
- futurevalues_t future_values;
- promises_t promises;
+ std::vector< uint64_t, MyAlloc< uint64_t > > future_values;
+ std::vector< uint32_t, MyAlloc< uint32_t > > promises;
unsigned int future_index;
};