cprover
|
#include <path_replay.h>
Public Member Functions | |
path_replayt () | |
path_replayt (const path_symex_statet &src) | |
void | replay (path_symex_statet &) |
Protected Types | |
typedef std::vector< bool > | branchest |
Protected Member Functions | |
void | get_branches (const path_symex_step_reft history) |
Protected Attributes | |
branchest | branches |
Definition at line 17 of file path_replay.h.
|
protected |
Definition at line 33 of file path_replay.h.
|
inline |
Definition at line 20 of file path_replay.h.
|
inlineexplicit |
Definition at line 24 of file path_replay.h.
References get_branches(), and path_symex_statet::history.
|
protected |
Referenced by path_replayt().
void path_replayt::replay | ( | path_symex_statet & | ) |
|
protected |
Definition at line 34 of file path_replay.h.