5 * Created on August 24, 2017, 5:33 PM
8 #ifndef ORDERDECOMPOSE_H
9 #define ORDERDECOMPOSE_H
10 #include "classlist.h"
12 #include "transform.h"
13 #include "integerencoding.h"
17 Transformer(CSolver* solver);
19 IntegerEncodingTransform* getIntegerEncodingTransform(){ return integerEncoding; }
22 //For now we can just add transforms here, but in future we may want take a smarter approach.
23 IntegerEncodingTransform* integerEncoding;
30 #endif/* ORDERDECOMPOSE_H */