src/Encoders/ordergraphbuilder.h

   1 /*
   2  * File:   ordergraphbuilder.h
   3  * Author: hamed
   4  *
   5  * Created on August 8, 2017, 6:36 PM
   6  */
   7
   8 #ifndef ORDERGRAPHBUILDER_H
   9 #define ORDERGRAPHBUILDER_H
  10 #include "classlist.h"
  11
  12 void buildOrderGraph(CSolver* This);
  13 void computeStronglyConnectedComponentGraph(OrderGraph* graph);
  14 #endif /* ORDERGRAPHBUILDER_H */
  15