From 21793269e46dea730bf2266d6e63d22229945dbb Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 12 Mar 2012 04:07:37 +0000 Subject: [PATCH] Remove an unimplemented function from a header. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1590 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/MinisatCore.h | 1 + src/sat/MinisatCore_prop.h | 3 --- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/src/sat/MinisatCore.h b/src/sat/MinisatCore.h index e81ce5b..30919c6 100644 --- a/src/sat/MinisatCore.h +++ b/src/sat/MinisatCore.h @@ -33,6 +33,7 @@ namespace BEEV bool solve(); // Search without assumptions. + virtual bool simplify(); // Removes already satisfied clauses. diff --git a/src/sat/MinisatCore_prop.h b/src/sat/MinisatCore_prop.h index c9e2d2b..92578f0 100644 --- a/src/sat/MinisatCore_prop.h +++ b/src/sat/MinisatCore_prop.h @@ -36,9 +36,6 @@ namespace BEEV bool solve(); // Search without assumptions. - bool - simplify(); // Removes already satisfied clauses. - virtual uint8_t modelValue(Var x) const; virtual Var newVar(); -- 2.47.3