- std::map<int, class Thread *, std::less< int >, MyAlloc< std::pair< const int, class Thread * > > > thread_map;
- class TreeNode *rootNode, *currentNode;
- std::list<class Backtrack *, MyAlloc< class Backtrack * > > backtrack_list;
+ std::map<int, class Thread *> thread_map;
+ class NodeStack *node_stack;
+ ModelAction *next_backtrack;