X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=valuerecord.h;h=fdfad21b7059a540e7471420c968e6c13639003c;hb=edf2d22457c3537226a4510885c3f346bc80f143;hp=9269223ad2f801f16c3b31f750ae7fe529192e6c;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/valuerecord.h b/valuerecord.h
index 9269223..fdfad21 100644
--- a/valuerecord.h
+++ b/valuerecord.h
@@ -12,14 +12,14 @@
 #include "classlist.h"
 
 class ValueRecord {
- public:
+public:
 	ValueRecord(IntHashSet *set);
-  ~ValueRecord();
-  Constraint * getValueEncoding(Constraint **vars, uint64_t value);
+	~ValueRecord();
+	Constraint * getValueEncoding(Constraint **vars, uint64_t value);
 	uint64_t getValue(Constraint **vars, bool *satsolution);
 	uint getNumVars() {return numvars;}
 	MEMALLOC;
- private:
+private:
 	IntHashSet *set;
 	uint numvars;
 };