ROSE 0.11.145.192
Public Attributes | List of all members
Vertex2 Struct Reference

Description

Definition at line 83 of file yicesParserLib.h.

Collaboration diagram for Vertex2:
Collaboration graph
[legend]

Public Attributes

SgGraphNodesg
 
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: