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(Order * currOrder, BooleanOrder *boolOrder);
19 void integerEncode(Order *currOrder);
21 virtual ~IntegerEncodingTransform();
23 //FIXME:We can remove it, because we don't need it for translating anymore... -HG
24 HashTableOrderIntEncoding *orderIntEncoding;
28 #endif/* INTEGERENCODING_H */