cprover
|
#include <goto_symex_state.h>
Public Member Functions | |
loop_infot () | |
Public Attributes | |
unsigned | count |
bool | is_recursion |
Definition at line 291 of file goto_symex_state.h.
|
inline |
Definition at line 293 of file goto_symex_state.h.
unsigned goto_symex_statet::framet::loop_infot::count |
Definition at line 299 of file goto_symex_state.h.
bool goto_symex_statet::framet::loop_infot::is_recursion |
Definition at line 300 of file goto_symex_state.h.