Remove unused operator

peterschrammel · peterschrammel · commit 4fc1e929505f · 2019-03-26T18:32:11.000Z
Operator for conversion is not intuitive anyway.
diff --git a/src/solvers/prop/decision_procedure.cpp b/src/solvers/prop/decision_procedure.cpp
@@ -15,11 +15,6 @@ decision_proceduret::~decision_proceduret()
 {
 }
 
-literalt decision_proceduret::operator()(const exprt &expr)
-{
-  return convert(expr);
-}
-
 decision_proceduret::resultt decision_proceduret::operator()()
 {
   return dec_solve();
diff --git a/src/solvers/prop/decision_procedure.h b/src/solvers/prop/decision_procedure.h
@@ -36,9 +36,6 @@ class decision_proceduret
   /// Convert a Boolean expression and return the corresponding literal
   virtual literalt convert(const exprt &expr) = 0;
 
-  /// Convert a Boolean expression and return the corresponding literal
-  literalt operator()(const exprt &);
-
   /// Result of running the decision procedure
   enum class resultt
   {

Original file line number	Diff line number	Diff line change
`@@ -15,11 +15,6 @@ decision_proceduret::~decision_proceduret()`
`15`	`15`	`{`
`16`	`16`	`}`
`17`	`17`
`18`		`-literalt decision_proceduret::operator()(const exprt &expr)`
`19`		`-{`
`20`		`- return convert(expr);`
`21`		`-}`
`22`		`-`
`23`	`18`	`decision_proceduret::resultt decision_proceduret::operator()()`
`24`	`19`	`{`
`25`	`20`	`return dec_solve();`
Original file line number	Diff line number	Diff line change
`@@ -36,9 +36,6 @@ class decision_proceduret`
`36`	`36`	`/// Convert a Boolean expression and return the corresponding literal`
`37`	`37`	`virtual literalt convert(const exprt &expr) = 0;`
`38`	`38`
`39`		`- /// Convert a Boolean expression and return the corresponding literal`
`40`		`- literalt operator()(const exprt &);`
`41`		`-`
`42`	`39`	`/// Result of running the decision procedure`
`43`	`40`	`enum class resultt`
`44`	`41`	`{`