Adding support for mutableset in backend + OO-style Set
[satune.git] / src / ASTTransform / analyzer.h
1 /*
2  * File:   analyzer.h
3  * Author: hamed
4  *
5  * Created on August 24, 2017, 5:33 PM
6  */
7
8 #ifndef ORDERDECOMPOSE_H
9 #define ORDERDECOMPOSE_H
10 #include "classlist.h"
11 #include "structs.h"
12
13 void orderAnalysis(CSolver *This);
14
15 #endif/* ORDERDECOMPOSE_H */
16