701c50b2f1913ec694e72199658170e2b88e6c2f
[model-checker.git] / scanalysis.cc
1 #include "scanalysis.h"
2 #include "model.h"
3
4 SCAnalysis::SCAnalysis() {
5 }
6
7 void SCAnalysis::analyze(action_list_t * actions) {
8         
9
10 }