set_properties.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Set the properties to check
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/

 
#ifndef CPROVER_GOTO_PROGRAMS_SET_PROPERTIES_H
#define CPROVER_GOTO_PROGRAMS_SET_PROPERTIES_H
 
#include <util/irep.h>
 
#include <list>
 
class goto_functionst;
class goto_modelt;
class goto_programt;
 
void set_properties(
  goto_functionst &goto_functions,
  const std::list<std::string> &properties);
 
void set_properties(
  goto_modelt &goto_model,
  const std::list<std::string> &properties);
 
void label_properties(goto_functionst &);
void label_properties(irep_idt function_identifier, goto_programt &);
void label_properties(goto_modelt &);
 
#endif // CPROVER_GOTO_PROGRAMS_SET_PROPERTIES_H