Edge2 Struct Reference

Description

Definition at line 91 of file yicesParserLib.h.

Collaboration diagram for Edge2:

Public Attributes
SgDirectedGraphEdge *	gedge

---

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

• yicesParserLib.h