ROSE 0.11.145.192
|
Definition at line 83 of file yicesParserLib.h.
Public Attributes | |
SgGraphNode * | sg |
bool | vardec |
string | varstr |
bool | expr |
string | exprstr |
SgGraphNode* Vertex2::sg |
Definition at line 84 of file yicesParserLib.h.
bool Vertex2::vardec |
Definition at line 85 of file yicesParserLib.h.
string Vertex2::varstr |
Definition at line 86 of file yicesParserLib.h.
bool Vertex2::expr |
Definition at line 87 of file yicesParserLib.h.
string Vertex2::exprstr |
Definition at line 88 of file yicesParserLib.h.