Remove unused interface

NathanJPhillips · Jul 9, 2018 · 0a39f40 · 0a39f40
1 parent c749b8f
commit 0a39f40
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 32 deletions.
diff --git a/src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.h b/src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.h
@@ -27,11 +27,10 @@ Author: Matt Lewis
 #include "polynomial.h"
 #include "path.h"
 #include "accelerator.h"
-#include "loop_acceleration.h"
 #include "cone_of_influence.h"
 #include "acceleration_utils.h"
 
-class disjunctive_polynomial_accelerationt:public loop_accelerationt
+class disjunctive_polynomial_accelerationt
 {
 public:
   disjunctive_polynomial_accelerationt(
@@ -56,7 +55,7 @@ class disjunctive_polynomial_accelerationt:public loop_accelerationt
     utils.find_modified(loop, modified);
   }
 
-  virtual bool accelerate(path_acceleratort &accelerator);
+  bool accelerate(path_acceleratort &accelerator);
 
   bool fit_polynomial(
     exprt &target,

diff --git a/src/goto-instrument/accelerate/enumerating_loop_acceleration.h b/src/goto-instrument/accelerate/enumerating_loop_acceleration.h
@@ -20,14 +20,13 @@ Author: Matt Lewis
 
 #include <analyses/natural_loops.h>
 
-#include "loop_acceleration.h"
 #include "polynomial_accelerator.h"
 #include "path_enumerator.h"
 #include "all_paths_enumerator.h"
 #include "sat_path_enumerator.h"
 
 
-class enumerating_loop_accelerationt:public loop_accelerationt
+class enumerating_loop_accelerationt
 {
 public:
   enumerating_loop_accelerationt(
@@ -56,7 +55,7 @@ class enumerating_loop_accelerationt:public loop_accelerationt
   {
   }
 
-  virtual bool accelerate(path_acceleratort &accelerator);
+  bool accelerate(path_acceleratort &accelerator);
 
 protected:
   symbol_tablet &symbol_table;

diff --git a/src/goto-instrument/accelerate/loop_acceleration.h b/src/goto-instrument/accelerate/loop_acceleration.h
diff --git a/src/goto-instrument/accelerate/polynomial_accelerator.h b/src/goto-instrument/accelerate/polynomial_accelerator.h
@@ -58,7 +58,7 @@ class polynomial_acceleratort
   {
   }
 
-  virtual bool accelerate(patht &loop, path_acceleratort &accelerator);
+  bool accelerate(patht &loop, path_acceleratort &accelerator);
 
   bool fit_polynomial(
     goto_programt::instructionst &loop_body,

diff --git a/src/goto-instrument/accelerate/sat_path_enumerator.h b/src/goto-instrument/accelerate/sat_path_enumerator.h
@@ -27,7 +27,6 @@ Author: Matt Lewis
 #include "polynomial.h"
 #include "path.h"
 #include "accelerator.h"
-#include "loop_acceleration.h"
 #include "cone_of_influence.h"
 #include "acceleration_utils.h"