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);
17 void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
18 void setCurrentOrder(Order* _curr) {currOrder = _curr;}
20 bool canExecuteTransform();
21 virtual ~IntegerEncodingTransform();
24 HashTableOrderIntEncoding* orderIntEncoding;
28 #endif /* INTEGERENCODING_H */