cprover
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:
[legend]

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 28 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 
)
inlineexplicit

Definition at line 33 of file path_storage.h.

◆ patht() [2/2]

path_storaget::patht::patht ( const patht other)
inlineexplicit

Definition at line 38 of file path_storage.h.

Member Data Documentation

◆ equation

symex_target_equationt path_storaget::patht::equation

Definition at line 30 of file path_storage.h.

Referenced by bmct::do_language_agnostic_bmc().

◆ state

goto_symex_statet path_storaget::patht::state

Definition at line 31 of file path_storage.h.

Referenced by bmct::do_language_agnostic_bmc(), and goto_symext::symex_goto().


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