cprover
goto_symex_statet::framet::loop_infot Struct Reference

#include <goto_symex_state.h>

Public Attributes

unsigned count = 0
 
bool is_recursion = false
 

Detailed Description

Definition at line 193 of file goto_symex_state.h.

Member Data Documentation

◆ count

unsigned goto_symex_statet::framet::loop_infot::count = 0

Definition at line 195 of file goto_symex_state.h.

◆ is_recursion

bool goto_symex_statet::framet::loop_infot::is_recursion = false

Definition at line 196 of file goto_symex_state.h.


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