expr_listt

Author: Daniel Kroening

src/hw-cbmc/hw_cbmc_parse_options.cpp

@@ -172,7 +172,7 @@ Function: hw_cbmc_parse_optionst::get_modules
 
 \*******************************************************************/
 
-int hw_cbmc_parse_optionst::get_modules(expr_listt &bmc_constraints)
+int hw_cbmc_parse_optionst::get_modules(std::list<exprt> &bmc_constraints)
 {
   //
   // unwinding of transition systems

src/hw-cbmc/map_vars.cpp

@@ -62,7 +62,7 @@ void instantiate_symbol(exprt &expr, unsigned timeframe)
 class map_varst:public messaget
 {
 public:
-  map_varst(symbol_tablet &_symbol_table, expr_listt &_constraints,
+  map_varst(symbol_tablet &_symbol_table, std::list<exprt> &_constraints,
             message_handlert &_message, unsigned _no_timeframes):
     messaget(_message),
     symbol_table(_symbol_table), constraints(_constraints),
@@ -73,7 +73,7 @@ class map_varst:public messaget
 
 protected:
   symbol_tablet &symbol_table;
-  expr_listt &constraints;
+  std::list<exprt> &constraints;
   unsigned no_timeframes;
   std::set<irep_idt> top_level_inputs;
 
@@ -769,7 +769,7 @@ Function: map_vars
 void map_vars(
   symbol_tablet &symbol_table,
   const irep_idt &module,
-  expr_listt &constraints,
+  std::list<exprt> &constraints,
   message_handlert &message,
   unsigned no_timeframes)
 {

src/hw-cbmc/map_vars.h

@@ -15,7 +15,7 @@ Author: Daniel Kroening, [email protected]
 void map_vars(
   symbol_tablet &symbol_table,
   const irep_idt &module,
-  expr_listt &constraints,
+  std::list<exprt> &constraints,
   message_handlert &message,
   unsigned no_timeframes);