Description
Definition at line 91 of file yicesParserLib.h.
Collaboration diagram for Edge2:
Public Attributes | |
| SgDirectedGraphEdge * | gedge |
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:
