StateRelationKind Enumeration
Possible kinds of relation between one state and its representative.
Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)
Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)
| Member name | Description |
|---|---|
| Equivalent | This state is equivalent to its representative. |
| None | This state has no representative. |
| Subsumed | This state is subsumed by its representative. |
Development Platforms
Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003
Community Additions
ADD
Show: