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

Description

Definition at line 91 of file yicesParserLib.h.

Collaboration diagram for Edge2:
Collaboration graph
[legend]

Public Attributes

SgDirectedGraphEdgegedge
 

Member Data Documentation

◆ gedge

SgDirectedGraphEdge* Edge2::gedge

Definition at line 92 of file yicesParserLib.h.


The documentation for this struct was generated from the following file: