remove_function.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Remove function definition
 
Author: Michael Tautschnig
 
Date: April 2017
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_INSTRUMENT_REMOVE_FUNCTION_H
#define CPROVER_GOTO_INSTRUMENT_REMOVE_FUNCTION_H
 
#include <list>
#include <string>
 
#include <util/irep.h>
 
class goto_modelt;
class message_handlert;
 
void remove_function(
  goto_modelt &,
  const irep_idt &identifier,
  message_handlert &);
 
void remove_functions(
  goto_modelt &,
  const std::list<std::string> &names,
  message_handlert &);
 
#endif // CPROVER_GOTO_INSTRUMENT_REMOVE_FUNCTION_H