ModelAction * get_uninit_action() const { return uninit_action; }
void print() const;
- MEMALLOC
+ SNAPSHOTALLOC
private:
ModelAction * const action;
ModelAction *uninit_action;
};
-typedef ModelVector<Node *> node_list_t;
+typedef SnapVector<Node *> node_list_t;
/**
* @brief A stack of nodes
~NodeStack();
void register_engine(const ModelExecution *exec);
- ModelAction * explore_action(ModelAction *act);
+ void add_action(ModelAction *act);
Node * get_head() const;
Node * get_next() const;
void reset_execution();
void full_reset();
void print() const;
- MEMALLOC
+ SNAPSHOTALLOC
private:
node_list_t node_list;
const struct model_params * get_params() const;
int head_idx;
};
-#endif/* __NODESTACK_H__ */
+#endif /* __NODESTACK_H__ */