cleanout decision_proceduret::in_core

kroening · kroening · commit 1bac4847dfd4 · 2018-02-11T20:17:58.000Z
diff --git a/src/util/decision_procedure.cpp b/src/util/decision_procedure.cpp
@@ -11,10 +11,4 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include "decision_procedure.h"
 
-#include <cassert>
 
-bool decision_proceduret::in_core(const exprt &expr)
-{
-  UNREACHABLE;
-  return true;
-}
diff --git a/src/util/decision_procedure.h b/src/util/decision_procedure.h
@@ -52,9 +52,6 @@ class decision_proceduret:public messaget
     return dec_solve();
   }
 
-  // old-style, will go away
-  virtual bool in_core(const exprt &expr);
-
   // return a textual description of the decision procedure
   virtual std::string decision_procedure_text() const=0;
 

Original file line number	Diff line number	Diff line change
`@@ -52,9 +52,6 @@ class decision_proceduret:public messaget`
`52`	`52`	`return dec_solve();`
`53`	`53`	`}`
`54`	`54`
`55`		`- // old-style, will go away`
`56`		`- virtual bool in_core(const exprt &expr);`
`57`		`-`
`58`	`55`	`// return a textual description of the decision procedure`
`59`	`56`	`virtual std::string decision_procedure_text() const=0;`
`60`	`57`