src/ASTTransform/orderdecompose.h

   1 /*
   2  * To change this license header, choose License Headers in Project Properties.
   3  * To change this template file, choose Tools | Templates
   4  * and open the template in the editor.
   5  */
   6
   7 /*
   8  * File:   orderdecompose.h
   9  * Author: hamed
  10  *
  11  * Created on August 24, 2017, 5:33 PM
  12  */
  13
  14 #ifndef ORDERDECOMPOSE_H
  15 #define ORDERDECOMPOSE_H
  16 #include "classlist.h"
  17 #include "structs.h"
  18
  19 void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph);
  20
  21 #endif /* ORDERDECOMPOSE_H */
  22