X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Fintegerencoding.h;h=805ed0bf22b2704932160abe9f888048d3363c40;hb=ccc6ed150f90cc74234b7b8eef2e44eb5363f7bc;hp=8066c2acf678924b7b7ffb8fe3306cc6b0f9ca10;hpb=04b29ee98bb1e665842f1cf1513b5a48f2b8c9c5;p=satune.git

diff --git a/src/ASTTransform/integerencoding.h b/src/ASTTransform/integerencoding.h
index 8066c2a..805ed0b 100644
--- a/src/ASTTransform/integerencoding.h
+++ b/src/ASTTransform/integerencoding.h
@@ -14,14 +14,12 @@
 class IntegerEncodingTransform : public Transform {
 public:
 	IntegerEncodingTransform(CSolver *solver);
-	void orderIntegerEncodingSATEncoder(Order * currOrder, BooleanOrder *boolOrder);
+	void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder, IntegerEncodingRecord *ierec);
 	void doTransform();
 	void integerEncode(Order *currOrder);
 
 	virtual ~IntegerEncodingTransform();
 private:
-	//FIXME:We can remove it, because we don't need it for translating anymore... -HG
-	HashTableOrderIntEncoding *orderIntEncoding;
 };