execution_statet::transition_footprintt Struct Reference

The objects one transition read and wrote, as MPOR records them. More...

#include <execution_state.h>

Public Attributes
std::set< expr2tc >	reads
std::set< expr2tc >	writes

Detailed Description

The objects one transition read and wrote, as MPOR records them.

Member Data Documentation

reads

std::set<expr2tc> execution_statet::transition_footprintt::reads

writes

std::set<expr2tc> execution_statet::transition_footprintt::writes

---

The documentation for this struct was generated from the following file:

• src/goto-symex/scheduler/execution_state.h