execution_statet::transition_resultt Struct Reference

#include <execution_state.h>

Public Attributes
unsigned int	thread_id = 0
std::optional< guard2tc >	parent_guard
std::optional< parked_patht >	parked

Member Data Documentation

parent_guard

std::optional<guard2tc> execution_statet::transition_resultt::parent_guard

parked

std::optional<parked_patht> execution_statet::transition_resultt::parked

thread_id

unsigned int execution_statet::transition_resultt::thread_id = 0

---

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

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