From a7031bb3f76385b014af0e329e5313b531cf2d72 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 2 Dec 2011 10:11:39 -0500 Subject: [PATCH] Removing redundant function declarations. --- src/sat/bsat/satSolver2.h | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h index 5ccb2c33e..a5ed85b3e 100644 --- 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 );