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 |
The documentation for this struct was generated from the following file:
