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;
};
 
#endif // CPROVER_GOTO_SYMEX_SHADOW_MEMORY_FIELD_DEFINITIONS_H