yy_trans_info Struct Reference

Public Attributes
flex_int32_t	yy_nxt
flex_int32_t	yy_verify

---

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

• plugins/datamodel/promela/parser/promela.lex.yy.cpp