cprover
|
#include <goto_symex_state.h>
Public Member Functions | |
loop_infot () | |
Public Attributes | |
unsigned | count |
bool | is_recursion |
Definition at line 264 of file goto_symex_state.h.
|
inline |
Definition at line 266 of file goto_symex_state.h.
unsigned goto_symex_statet::framet::loop_infot::count |
Definition at line 272 of file goto_symex_state.h.
bool goto_symex_statet::framet::loop_infot::is_recursion |
Definition at line 273 of file goto_symex_state.h.