- Transform();
- ~Transform();
- void orderIntegerEncodingSATEncoder(CSolver *This, BooleanOrder *boolOrder);
- MEMALLOC;
-private:
- HashTableOrderIntegerEncoding* orderIntegerEncoding;
+ Transform(CSolver *_solver);
+ virtual ~Transform();
+ virtual void doTransform() = 0;
+ CMEMALLOC;
+protected:
+ // Need solver for translating back the result ...
+ CSolver *solver;