Removing redundant function declarations.

a7031bb3 · Alan Mishchenko · 12869de1 · a7031bb3
Commit a7031bb3 authored Dec 02, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 4 deletions

src/sat/bsat/satSolver2.h
+0 -4

No files found.
--- a/src/sat/bsat/satSolver2.h
+++ b/src/sat/bsat/satSolver2.h
@@ -47,10 +47,6 @@ extern int         sat_solver2_addclause(sat_solver2* s, lit* begin, lit* end);
 extern int         sat_solver2_simplify(sat_solver2* s);
 extern int         sat_solver2_solve(sat_solver2* s, lit* begin, lit* end, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimit, ABC_INT64_T nConfLimitGlobal, ABC_INT64_T nInsLimitGlobal);

-extern int         sat_solver2_nvars(sat_solver2* s);
-extern int         sat_solver2_nclauses(sat_solver2* s);
-extern int         sat_solver2_nconflicts(sat_solver2* s);
-
 extern void        sat_solver2_setnvars(sat_solver2* s,int n);

 extern void        Sat_Solver2WriteDimacs( sat_solver2 * p, char * pFileName, lit* assumptionsBegin, lit* assumptionsEnd, int incrementVars );