Description
Definition at line 83 of file yicesParserLib.h.
Collaboration diagram for Vertex2:
Public Attributes | |
| SgGraphNode * | sg |
| bool | vardec |
| string | varstr |
| bool | expr |
| string | exprstr |
Member Data Documentation
◆ sg
| SgGraphNode* Vertex2::sg |
Definition at line 84 of file yicesParserLib.h.
◆ vardec
| bool Vertex2::vardec |
Definition at line 85 of file yicesParserLib.h.
◆ varstr
| string Vertex2::varstr |
Definition at line 86 of file yicesParserLib.h.
◆ expr
| bool Vertex2::expr |
Definition at line 87 of file yicesParserLib.h.
◆ exprstr
| string Vertex2::exprstr |
Definition at line 88 of file yicesParserLib.h.
The documentation for this struct was generated from the following file:
