X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=inc_solver.h;h=415dc8d720f1eb6a26d41c16a2aeb69866dda784;hb=HEAD;hp=d5b7f3caee02be9f84cb7261b9ba220615d1b3df;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/inc_solver.h b/inc_solver.h
index d5b7f3c..415dc8d 100644
--- a/inc_solver.h
+++ b/inc_solver.h
@@ -19,32 +19,32 @@
 #include "classlist.h"
 
 class IncrementalSolver {
- public:
-  IncrementalSolver();
-  ~IncrementalSolver();
-  void addClauseLiteral(int literal);
-  void finishedClauses();
-  void freeze(int variable);
-  int solve();
+public:
+	IncrementalSolver();
+	~IncrementalSolver();
+	void addClauseLiteral(int literal);
+	void finishedClauses();
+	void freeze(int variable);
+	int solve();
 	void startSolve();
 	int getSolution();
 
 	bool getValue(int variable);
-  void reset();
+	void reset();
 	MEMALLOC;
-	
- private:
-  void createSolver();
-  void killSolver();
-  void flushBuffer();
-  int readIntSolver();
-  void readSolver(void * buffer, ssize_t size);
-  int * buffer;
-  int * solution;
-  int solutionsize;
-  int offset;
-  pid_t solver_pid;
-  int to_solver_fd;
-  int from_solver_fd;
+
+private:
+	void createSolver();
+	void killSolver();
+	void flushBuffer();
+	int readIntSolver();
+	void readSolver(void * buffer, ssize_t size);
+	int * buffer;
+	int * solution;
+	int solutionsize;
+	int offset;
+	pid_t solver_pid;
+	int to_solver_fd;
+	int from_solver_fd;
 };
 #endif