diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-02 10:11:39 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-02 10:11:39 -0500 |
| commit | a7031bb3f76385b014af0e329e5313b531cf2d72 (patch) | |
| tree | 39fbf72ed7dea5efadfea8d2ad9502ebc0688d85 /src/sat/bsat | |
| parent | 12869de14b50bd33a2afe081337e6879e43e5595 (diff) | |
| download | abc-a7031bb3f76385b014af0e329e5313b531cf2d72.tar.gz abc-a7031bb3f76385b014af0e329e5313b531cf2d72.tar.bz2 abc-a7031bb3f76385b014af0e329e5313b531cf2d72.zip | |
Removing redundant function declarations.
Diffstat (limited to 'src/sat/bsat')
| -rw-r--r-- | src/sat/bsat/satSolver2.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h index 5ccb2c33..a5ed85b3 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 ); |