Rename files from smt_to_string to smt_to_smt2_string

In order to make the kind of string being converted to clearer.

Author: thomasspriggs

src/solvers/Makefile

@@ -197,7 +197,7 @@ SRC = $(BOOLEFORCE_SRC) \
       smt2_incremental/smt_options.cpp \
       smt2_incremental/smt_sorts.cpp \
       smt2_incremental/smt_terms.cpp \
-      smt2_incremental/smt_to_string.cpp \
+      smt2_incremental/smt_to_smt2_string.cpp \
       smt2_incremental/smt2_incremental_decision_procedure.cpp \
       # Empty last line
 

…lvers/smt2_incremental/smt_to_string.cpp …/smt2_incremental/smt_to_smt2_string.cppsrc/solvers/smt2_incremental/smt_to_string.cpp renamed to src/solvers/smt2_incremental/smt_to_smt2_string.cpp src/solvers/smt2_incremental/smt_to_string.cpp renamed to src/solvers/smt2_incremental/smt_to_smt2_string.cpp

@@ -1,6 +1,6 @@
 // Author: Diffblue Ltd.
 
-#include <solvers/smt2_incremental/smt_to_string.h>
+#include <solvers/smt2_incremental/smt_to_smt2_string.h>
 
 #include <solvers/smt2/smt2_conv.h>
 #include <solvers/smt2_incremental/smt_commands.h>

…solvers/smt2_incremental/smt_to_string.h …rs/smt2_incremental/smt_to_smt2_string.hsrc/solvers/smt2_incremental/smt_to_string.h renamed to src/solvers/smt2_incremental/smt_to_smt2_string.h src/solvers/smt2_incremental/smt_to_string.h renamed to src/solvers/smt2_incremental/smt_to_smt2_string.h

@@ -3,8 +3,8 @@
 /// \file
 /// Streaming SMT data structures to a string based output stream.
 
-#ifndef CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_STRING_H
-#define CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_STRING_H
+#ifndef CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_SMT2_STRING_H
+#define CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_SMT2_STRING_H
 
 class smt_sortt;
 class smt_termt;
@@ -27,4 +27,4 @@ std::string smt_to_smt2_string(const smt_optiont &option);
 std::string smt_to_smt2_string(const smt_logict &logic);
 std::string smt_to_smt2_string(const smt_commandt &command);
 
-#endif // CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_STRING_H
+#endif // CPROVER_SOLVERS_SMT2_INCREMENTAL_SMT_TO_SMT2_STRING_H

unit/Makefile

@@ -88,7 +88,7 @@ SRC += analyses/ai/ai.cpp \
        solvers/smt2_incremental/smt_commands.cpp \
        solvers/smt2_incremental/smt_sorts.cpp \
        solvers/smt2_incremental/smt_terms.cpp \
-       solvers/smt2_incremental/smt_to_string.cpp \
+       solvers/smt2_incremental/smt_to_smt2_string.cpp \
        solvers/strings/array_pool/array_pool.cpp \
        solvers/strings/string_constraint_generator_valueof/calculate_max_string_length.cpp \
        solvers/strings/string_constraint_generator_valueof/get_numeric_value_from_character.cpp \

…lvers/smt2_incremental/smt_to_string.cpp …/smt2_incremental/smt_to_smt2_string.cppunit/solvers/smt2_incremental/smt_to_string.cpp renamed to unit/solvers/smt2_incremental/smt_to_smt2_string.cpp unit/solvers/smt2_incremental/smt_to_string.cpp renamed to unit/solvers/smt2_incremental/smt_to_smt2_string.cpp

@@ -6,7 +6,7 @@
 #include <solvers/smt2_incremental/smt_logics.h>
 #include <solvers/smt2_incremental/smt_sorts.h>
 #include <solvers/smt2_incremental/smt_terms.h>
-#include <solvers/smt2_incremental/smt_to_string.h>
+#include <solvers/smt2_incremental/smt_to_smt2_string.h>
 
 #include <util/mp_arith.h>