UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Attributes | List of all members
OldMinorOrder::twoIDLists Struct Reference
Collaboration diagram for OldMinorOrder::twoIDLists:
Collaboration graph
[legend]

Public Attributes

vector< IDTypeminor
 
vector< IDTypegraph
 

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