- int used_thread_id;
- class ModelAction *current_action;
- std::list<class ModelAction *> *action_trace;
- std::map<thread_id_t, class Thread *> thread_map;
- class TreeNode *rootNode, *currentNode;
+ int next_thread_id;
+ int used_sequence_numbers;
+ int num_executions;
+
+ ModelAction * get_last_conflict(ModelAction *act);
+ void set_backtracking(ModelAction *act);
+ thread_id_t get_next_replay_thread();
+ ModelAction * get_next_backtrack();
+ void reset_to_initial_state();
+
+ void print_list(action_list_t *list);
+
+ ModelAction *current_action;
+ ModelAction *diverge;
+ thread_id_t nextThread;
+
+ ucontext_t *system_context;
+ action_list_t *action_trace;
+ std::map<int, class Thread *, std::less< int >, MyAlloc< std::pair< const int, class Thread * > > > thread_map;
+ class NodeStack *node_stack;
+ ModelAction *next_backtrack;