Build without warnings

[satcheck.git] / inc_solver.h

diff --git a/inc_solver.h b/inc_solver.h
index d5b7f3caee02be9f84cb7261b9ba220615d1b3df..415dc8d720f1eb6a26d41c16a2aeb69866dda784 100644 (file)
--- 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