X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Fintegerencodingrecord.h;h=39c54ed9dc7476bbc8863a90ca0e6284303d08a3;hb=44b06433a75c430f8b7dda303b2294ea78892ec1;hp=a85e98a27d95c0a4787888941fea90b65918246f;hpb=1491d52574950c4a2d013e626b9b4ece05d6790e;p=satune.git

diff --git a/src/ASTTransform/integerencodingrecord.h b/src/ASTTransform/integerencodingrecord.h
index a85e98a..39c54ed 100644
--- a/src/ASTTransform/integerencodingrecord.h
+++ b/src/ASTTransform/integerencodingrecord.h
@@ -1,4 +1,4 @@
-/* 
+/*
  * File:   integerencodingrecord.h
  * Author: hamed
  *
@@ -13,16 +13,16 @@
 
 class IntegerEncodingRecord {
 public:
-	IntegerEncodingRecord(Set* set);
+	IntegerEncodingRecord(Set *set);
 	~IntegerEncodingRecord();
-	Element* getOrderIntegerElement(CSolver *This, uint64_t item, bool create = true);
-	inline Set* getSecondarySet() { return secondarySet; }
+	Element *getOrderIntegerElement(CSolver *This, uint64_t item, bool create = true);
+	inline Set *getSecondarySet() { return secondarySet; }
 	CMEMALLOC;
-	
+
 private:
-	Set* secondarySet;
-	HashsetOrderElement *elementTable;
+	Set *secondarySet;
+	HashsetOrderElement *elementSet;
 };
 
-#endif /* INTEGERENCODINGRECORD_H */
+#endif/* INTEGERENCODINGRECORD_H */