Merge pull request diffblue#2019 from tautschnig/remove-unused

Remove utilities that never got used

Author: tautschnig

src/cpp/recursion_counter.h

@@ -24,12 +24,11 @@ Author: Matt Lewis
 #include "polynomial.h"
 #include "path.h"
 #include "accelerator.h"
-#include "path_acceleration.h"
 #include "acceleration_utils.h"
 #include "cone_of_influence.h"
 #include "overflow_instrumenter.h"
 
-class polynomial_acceleratort:public path_accelerationt
+class polynomial_acceleratort
 {
 public:
   polynomial_acceleratort(

src/goto-analyzer/static_analyzer.cpp

@@ -153,9 +153,7 @@ SRC = $(BOOLEFORCE_SRC) \
       prop/literal.cpp \
       prop/minimize.cpp \
       prop/prop.cpp \
-      prop/prop_assignment.cpp \
       prop/prop_conv.cpp \
-      prop/prop_conv_store.cpp \
       qbf/qbf_quantor.cpp \
       qbf/qbf_qube.cpp \
       qbf/qbf_qube_core.cpp \

src/goto-analyzer/static_analyzer.h

@@ -17,11 +17,11 @@ Author: Daniel Kroening, [email protected]
 #include <util/message.h>
 #include <util/threeval.h>
 
-#include "prop_assignment.h"
+#include "literal.h"
 
 /*! \brief TO_BE_DOCUMENTED
 */
-class propt:public messaget, public prop_assignmentt
+class propt:public messaget
 {
 public:
   propt() { }
@@ -96,7 +96,7 @@ class propt:public messaget, public prop_assignmentt
   enum class resultt { P_SATISFIABLE, P_UNSATISFIABLE, P_ERROR };
   virtual resultt prop_solve()=0;
 
-  // satisfying assignment, from prop_assignmentt
+  // satisfying assignment
   virtual tvt l_get(literalt a) const=0;
   virtual void set_assignment(literalt a, bool value);
   virtual void copy_assignment_from(const propt &prop);