rename class instantiate_var_mapt to netlist_boolbvt

Author: kroening

src/trans-netlist/instantiate_netlist.cpp

@@ -41,7 +41,7 @@ void instantiate_constraint(
   const namespacet &ns,
   message_handlert &message_handler)
 {
-  instantiate_var_mapt i(ns, solver, message_handler, var_map);
+  netlist_boolbvt i(ns, solver, message_handler, var_map);
 
   try
   {
@@ -80,7 +80,7 @@ literalt instantiate_convert(
   const namespacet &ns,
   message_handlert &message_handler)
 {
-  instantiate_var_mapt i(ns, solver, message_handler, var_map);
+  netlist_boolbvt i(ns, solver, message_handler, var_map);
 
   try
   {
@@ -120,7 +120,7 @@ void instantiate_convert(
   message_handlert &message_handler,
   bvt &bv)
 {
-  instantiate_var_mapt i(ns, solver, message_handler, var_map);
+  netlist_boolbvt i(ns, solver, message_handler, var_map);
 
   try
   {

src/trans-netlist/netlist_boolbv.cpp

@@ -13,7 +13,7 @@ Author: Daniel Kroening, [email protected]
 
 /*******************************************************************\
 
-Function: instantiate_var_mapt::convert_bool
+Function: netlist_boolbvt::convert_bool
 
   Inputs:
 
@@ -23,7 +23,7 @@ Function: instantiate_var_mapt::convert_bool
 
 \*******************************************************************/
 
-literalt instantiate_var_mapt::convert_bool(const exprt &expr)
+literalt netlist_boolbvt::convert_bool(const exprt &expr)
 {
   if(expr.id() == ID_symbol || expr.id() == ID_next_symbol)
   {
@@ -53,7 +53,7 @@ literalt instantiate_var_mapt::convert_bool(const exprt &expr)
 
 /*******************************************************************\
 
-Function: instantiate_var_mapt::convert_bitvector
+Function: netlist_boolbvt::convert_bitvector
 
   Inputs:
 
@@ -63,7 +63,7 @@ Function: instantiate_var_mapt::convert_bitvector
 
 \*******************************************************************/
 
-bvt instantiate_var_mapt::convert_bitvector(const exprt &expr)
+bvt netlist_boolbvt::convert_bitvector(const exprt &expr)
 {
   if(expr.id() == ID_symbol || expr.id() == ID_next_symbol)
   {
@@ -95,7 +95,7 @@ bvt instantiate_var_mapt::convert_bitvector(const exprt &expr)
 
 /*******************************************************************\
 
-Function: instantiate_var_mapt::get_literal
+Function: netlist_boolbvt::get_literal
 
   Inputs:
 
@@ -106,7 +106,7 @@ Function: instantiate_var_mapt::get_literal
 \*******************************************************************/
 
 literalt
-instantiate_var_mapt::get_literal(const std::string &symbol, const unsigned bit)
+netlist_boolbvt::get_literal(const std::string &symbol, const unsigned bit)
 {
   return var_map.get_current(symbol, bit);
 }

src/trans-netlist/netlist_boolbv.h

@@ -15,16 +15,16 @@ Author: Daniel Kroening, [email protected]
 
 /*******************************************************************\
 
-   Class: instantiate_var_mapt
+   Class: netlist_boolbvt
 
  Purpose:
 
 \*******************************************************************/
 
-class instantiate_var_mapt : public boolbvt
+class netlist_boolbvt : public boolbvt
 {
 public:
-  instantiate_var_mapt(
+  netlist_boolbvt(
     const namespacet &_ns,
     propt &solver,
     message_handlert &message_handler,