test: insanesync: remove unnecessary casting
[model-checker.git] / plugins.h
1 #ifndef PLUGINS_H
2 #define PLUGINS_H
3 #include "traceanalysis.h"
4 #include "stl-model.h"
5
6 void register_plugins();
7 ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis();
8 ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis();
9
10 #endif