remove old release sequences

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index b7e630b0ba4dc6d5b7957f48ab90f35e5ee933a6..702c9931cc19ec56f5bac89efe9f73951505914d 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -98,11 +98,6 @@ public:
        bool increment_misc();
        bool misc_empty() const;
 
-       void add_relseq_break(const ModelAction *write);
-       const ModelAction * get_relseq_break() const;
-       bool increment_relseq_break();
-       bool relseq_break_empty() const;
-
        bool increment_behaviors();
 
        void print() const;
@@ -113,8 +108,6 @@ private:
        int get_yield_data(int tid1, int tid2) const;
        bool read_from_past_empty() const;
        bool increment_read_from_past();
-       bool future_value_empty() const;
-       bool increment_future_value();
        read_from_type_t read_from_status;
        const struct model_params * get_params() const { return params; }
 
@@ -140,9 +133,6 @@ private:
        ModelVector<const ModelAction *> read_from_past;
        unsigned int read_from_past_idx;
 
-       ModelVector<const ModelAction *> relseq_break_writes;
-       int relseq_break_index;
-
        int misc_index;
        int misc_max;
        int * yield_data;