cprover
|
#include <path_symex_history.h>
Public Types | |
typedef std::vector< path_symex_stept > | step_containert |
Public Member Functions | |
void | clear () |
Public Attributes | |
step_containert | step_container |
Definition at line 144 of file path_symex_history.h.
typedef std::vector<path_symex_stept> path_symex_historyt::step_containert |
Definition at line 147 of file path_symex_history.h.
|
inline |
Definition at line 151 of file path_symex_history.h.
References step_container.
step_containert path_symex_historyt::step_container |
Definition at line 148 of file path_symex_history.h.
Referenced by clear(), path_symex_step_reft::generate_successor(), and path_symex_step_reft::get().