add some support for traceanalysis plugins
[model-checker.git] / model.h
diff --git a/model.h b/model.h
index 90c8a55..864f6ae 100644 (file)
--- a/model.h
+++ b/model.h
@@ -40,6 +40,7 @@ struct model_params {
        int maxreads;
        int maxfuturedelay;
        bool yieldon;
+       bool sc_trace_analysis;
        unsigned int fairwindow;
        unsigned int enabledcount;
        unsigned int bound;
@@ -138,6 +139,9 @@ public:
 
        const model_params params;
        Node * get_curr_node() const;
+       void add_trace_analysis(Trace_Analysis * a) {
+               trace_analyses->push_back(a);
+       }
 
        MEMALLOC
 private: