path_storaget::patht Struct Reference

Information saved at a conditional goto to resume execution. More...

#include <path_storage.h>

Collaboration diagram for path_storaget::patht:

Public Member Functions
	patht (const symex_target_equationt &e, const goto_symex_statet &s)
	patht (const patht &other)

Public Attributes
symex_target_equationt	equation
goto_symex_statet	state

Detailed Description

Information saved at a conditional goto to resume execution.

Definition at line 41 of file path_storage.h.

Constructor & Destructor Documentation

patht() [1/2]

path_storaget::patht::patht ( const symex_target_equationt &  e, const goto_symex_statet &  s  )

inline

Definition at line 46 of file path_storage.h.

patht() [2/2]

path_storaget::patht::patht ( const patht &  other )

inlineexplicit

Definition at line 51 of file path_storage.h.

Member Data Documentation

equation

symex_target_equationt path_storaget::patht::equation

Definition at line 43 of file path_storage.h.

state

goto_symex_statet path_storaget::patht::state

Definition at line 44 of file path_storage.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-symex/path_storage.h