cprover
path_symex_historyt Class Reference

#include <path_symex_history.h>

Collaboration diagram for path_symex_historyt:
[legend]

Public Types

typedef std::vector< path_symex_steptstep_containert
 

Public Member Functions

void clear ()
 

Public Attributes

step_containert step_container
 

Detailed Description

Definition at line 144 of file path_symex_history.h.

Member Typedef Documentation

◆ step_containert

Definition at line 147 of file path_symex_history.h.

Member Function Documentation

◆ clear()

void path_symex_historyt::clear ( void  )
inline

Definition at line 151 of file path_symex_history.h.

References step_container.

Member Data Documentation

◆ step_container

step_containert path_symex_historyt::step_container

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