remove ebmc_baset

This removes ebmc_baset, unused as of #1463.

Author: kroening

src/ebmc/Makefile

@@ -12,7 +12,6 @@ SRC = \
       diameter.cpp \
       diatest.cpp \
       dimacs_writer.cpp \
-      ebmc_base.cpp \
       ebmc_language.cpp \
       ebmc_language_file.cpp \
       ebmc_languages.cpp \

src/ebmc/ebmc_base.cpp

@@ -20,9 +20,9 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <trans-word-level/trans_trace_word_level.h>
 #include <trans-word-level/unwind.h>
 
-#include "ebmc_base.h"
 #include "ebmc_error.h"
 #include "output_file.h"
+#include "transition_system.h"
 #include "waveform.h"
 
 #include <algorithm>

src/ebmc/ebmc_base.h

@@ -21,7 +21,6 @@ Author: Daniel Kroening, dkr@amazon.com
 #include <trans-word-level/unwind.h>
 #include <verilog/sva_expr.h>
 
-#include "ebmc_base.h"
 #include "ebmc_error.h"
 #include "ebmc_solver_factory.h"
 #include "property_checker.h"

src/ebmc/random_traces.cpp

@@ -12,7 +12,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <verilog/expr2verilog.h>
 
-#include "ebmc_base.h"
 #include "ebmc_version.h"
 #include "output_file.h"
 #include "output_verilog.h"

src/ebmc/ranking_function.cpp

@@ -10,6 +10,7 @@ Author: Eugene Goldberg, eu.goldberg@gmail.com
 #ifndef DNF_IO_HH
 #define DNF_IO_HH
 
+#include <cstdlib>
 #include <deque>
 #include <iosfwd>
 #include <map>

src/ebmc/show_trans.cpp

@@ -6,21 +6,19 @@ Module: Printing circuit in text version of aiger format
 Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
-#include <queue>
-#include <set>
-#include <map>
+#include "ccircuit.hh"
+#include "dnf_io.hh"
+#include "m0ic3.hh"
+
 #include <algorithm>
 #include <iostream>
-
-#include <ebmc/ebmc_base.h>
+#include <map>
+#include <queue>
+#include <set>
 
 #include "minisat/core/Solver.h"
 #include "minisat/simp/SimpSolver.h"
 
-#include "dnf_io.hh"
-#include "ccircuit.hh"
-#include "m0ic3.hh"
-
 /*====================================
 
  P R I N T _ A I G E R _ F O R M A T

src/ic3/dnf_io.hh

@@ -6,21 +6,19 @@ Module: Printing circuit in text version of aiger format
 Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
-#include <queue>
-#include <set>
-#include <map>
+#include "ccircuit.hh"
+#include "dnf_io.hh"
+#include "m0ic3.hh"
+
 #include <algorithm>
 #include <iostream>
-
-#include <ebmc/ebmc_base.h>
+#include <map>
+#include <queue>
+#include <set>
 
 #include "minisat/core/Solver.h"
 #include "minisat/simp/SimpSolver.h"
 
-#include "dnf_io.hh"
-#include "ccircuit.hh"
-#include "m0ic3.hh"
-
 /*===========================================
 
      P R I N T _ A I G E R _ C O N S T R S