2 * File: integerencoding.h
5 * Created on August 27, 2017, 4:36 PM
8 #ifndef INTEGERENCODING_H
9 #define INTEGERENCODING_H
10 #include "classlist.h"
11 #include "transform.h"
14 class IntegerEncodingTransform : public Transform{
16 IntegerEncodingTransform(CSolver* solver, Order* order, Tunables _tunable, TunableDesc* _desc);
17 void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
19 bool canExecuteTransform();
20 ~IntegerEncodingTransform();
23 // In future we can use a singleton class instead of static variable for keeping data that needed
24 // for translating back result
25 static HashTableOrderIntegerEncoding* orderIntegerEncoding;
29 #endif /* INTEGERENCODING_H */