-/*
+/*
* File: integerencoding.h
* Author: hamed
*
#include "transform.h"
#include "order.h"
-class IntegerEncodingTransform : public Transform{
+class IntegerEncodingTransform : public Transform {
public:
- IntegerEncodingTransform(CSolver* solver);
- void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
- void setCurrentOrder(Order* _curr) {currOrder = _curr;}
+ IntegerEncodingTransform(CSolver *solver);
+ void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder, IntegerEncodingRecord *ierec);
void doTransform();
- bool canExecuteTransform();
+ void integerEncode(Order *currOrder);
+
virtual ~IntegerEncodingTransform();
private:
- Order* currOrder;
- HashTableOrderIntEncoding* orderIntEncoding;
};
-#endif /* INTEGERENCODING_H */
+#endif/* INTEGERENCODING_H */