+void ModelHistory::resize_func_nodes(uint32_t new_size)
+{
+ uint32_t old_size = func_nodes.size();
+
+ if ( old_size < new_size )
+ func_nodes.resize(new_size);
+
+ for (uint32_t id = old_size;id < new_size;id++) {
+ const char * func_name = func_map_rev[id];
+ FuncNode * func_node = new FuncNode();
+ func_node->set_func_id(id);
+ func_node->set_func_name(func_name);
+ func_nodes[id] = func_node;
+ }
+}
+
+void ModelHistory::process_action(ModelAction *act, thread_id_t tid)