UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Attributes | List of all members
OldMinorOrder::PathFinder::QueueEl Struct Reference

Public Attributes

IDType position
 
bool isEdge
 
std::set< IDTypeinnerPath
 

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