ROSE
0.9.6a
|
#include <yicesParserLib.h>
Public Attributes | |
SgGraphNode * | sg |
bool | vardec |
string | varstr |
bool | expr |
string | exprstr |
Definition at line 83 of file yicesParserLib.h.
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.