cprover
|
#include <goto_symex_state.h>
Public Attributes | |
unsigned | count = 0 |
bool | is_recursion = false |
Definition at line 193 of file goto_symex_state.h.
unsigned goto_symex_statet::framet::loop_infot::count = 0 |
Definition at line 195 of file goto_symex_state.h.
bool goto_symex_statet::framet::loop_infot::is_recursion = false |
Definition at line 196 of file goto_symex_state.h.