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.
8 * File: orderdecompose.h
11 * Created on August 24, 2017, 5:33 PM
14 #ifndef ORDERDECOMPOSE_H
15 #define ORDERDECOMPOSE_H
16 #include "classlist.h"
19 void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph);
21 #endif /* ORDERDECOMPOSE_H */