cprover
goto_symex_statet::framet::loop_infot Struct Reference

#include <goto_symex_state.h>

Public Member Functions

 loop_infot ()
 

Public Attributes

unsigned count
 
bool is_recursion
 

Detailed Description

Definition at line 264 of file goto_symex_state.h.

Constructor & Destructor Documentation

◆ loop_infot()

goto_symex_statet::framet::loop_infot::loop_infot ( )
inline

Definition at line 266 of file goto_symex_state.h.

Member Data Documentation

◆ count

unsigned goto_symex_statet::framet::loop_infot::count

Definition at line 272 of file goto_symex_state.h.

◆ is_recursion

bool goto_symex_statet::framet::loop_infot::is_recursion

Definition at line 273 of file goto_symex_state.h.


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