shadow_memory_field_definitions.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Symex Shadow Memory Instrumentation
 
Author: Peter Schrammel
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_SYMEX_SHADOW_MEMORY_FIELD_DEFINITIONS_H
#define CPROVER_GOTO_SYMEX_SHADOW_MEMORY_FIELD_DEFINITIONS_H
 
#include <util/expr.h>
 
#include <map>
 
class shadow_memory_field_definitionst
{
public:
  using field_definitiont = std::map<irep_idt, exprt>;
 
  field_definitiont global_fields;
 
  field_definitiont local_fields;
};
class shadow_memory_field_definitionst {…};
 
#endif // CPROVER_GOTO_SYMEX_SHADOW_MEMORY_FIELD_DEFINITIONS_H