+ std::vector< bool, MyAlloc<bool> > explored_children;
+ std::vector< bool, MyAlloc<bool> > backtrack;
+ int numBacktracks;
+
+ /** The set of ModelActions that this the action at this Node may read
+ * from. Only meaningful if this Node represents a 'read' action. */
+ action_set_t may_read_from;