cprover
path_replayt Class Reference

#include <path_replay.h>

Collaboration diagram for path_replayt:
[legend]

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
 

Detailed Description

Definition at line 17 of file path_replay.h.

Member Typedef Documentation

◆ branchest

typedef std::vector<bool> path_replayt::branchest
protected

Definition at line 33 of file path_replay.h.

Constructor & Destructor Documentation

◆ path_replayt() [1/2]

path_replayt::path_replayt ( )
inline

Definition at line 20 of file path_replay.h.

◆ path_replayt() [2/2]

path_replayt::path_replayt ( const path_symex_statet src)
inlineexplicit

Definition at line 24 of file path_replay.h.

References get_branches(), and path_symex_statet::history.

Member Function Documentation

◆ get_branches()

void path_replayt::get_branches ( const path_symex_step_reft  history)
protected

Referenced by path_replayt().

◆ replay()

void path_replayt::replay ( path_symex_statet )

Member Data Documentation

◆ branches

branchest path_replayt::branches
protected

Definition at line 34 of file path_replay.h.


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