- bool hasBeenExplored(tree_t id) { return children.find(id) != children.end(); }
- TreeNode *exploreChild(tree_t id);
- tree_t getNextBacktrack();
+ bool hasBeenExplored(thread_id_t id) { return children.find(id_to_int(id)) != children.end(); }
+ TreeNode * explore_child(ModelAction *act);
+ thread_id_t getNextBacktrack();