model: add sequence numbers to ModelAction

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index b2bcb96f54a79513a6eb7c7890c796a4203f0299..ebb9211fb227c28e27ba075af04e14f34e9aaf59 100644 (file)
--- a/model.h
+++ b/model.h
@@ -54,12 +54,14 @@ public:
        Thread * get_thread(thread_id_t tid) { return thread_map[id_to_int(tid)]; }
 
        thread_id_t get_next_id();
+       int get_next_seq_num();
 
        int switch_to_master(ModelAction *act);
 
        bool next_execution();
 private:
        int used_thread_id;
+       int used_sequence_numbers;
        int num_executions;
 
        ModelAction * get_last_conflict(ModelAction *act);