model: add resolve_release_sequences() function

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 7d5489eaadd5fc0c6c3f6995831122830ba0c44b..970881cd24b3a707eb575a11522ebb6809a71a74 100644 (file)
--- a/model.h
+++ b/model.h
@@ -107,6 +107,7 @@ private:
        bool w_modification_order(ModelAction *curr);
        bool release_seq_head(const ModelAction *rf,
                        std::vector<const ModelAction *> *release_heads) const;
+       bool resolve_release_sequences(void *location);
 
        ModelAction *current_action;
        ModelAction *diverge;