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"
14 #include "decomposeordertransform.h"
18 Transformer(CSolver* solver);
20 IntegerEncodingTransform* getIntegerEncodingTransform(){ return integerEncoding; }
24 //For now we can just add transforms here, but in future we may want take a smarter approach.
25 IntegerEncodingTransform* integerEncoding;
26 DecomposeOrderTransform* decomposeOrder;
32 #endif/* ORDERDECOMPOSE_H */