cprover
yy_trans_info Struct Reference

Public Attributes

flex_int32_t yy_verify
 
flex_int32_t yy_nxt
 

Detailed Description

Definition at line 387 of file ansi_c_lex.yy.cpp.

Member Data Documentation

§ yy_nxt

flex_int32_t yy_trans_info::yy_nxt

Definition at line 390 of file ansi_c_lex.yy.cpp.

§ yy_verify

flex_int32_t yy_trans_info::yy_verify

Definition at line 389 of file ansi_c_lex.yy.cpp.


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