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)
Usage
'Usage
Syntax
'Declaration
[SerializableAttribute]
public enum StateRelationKind
Members
| 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. |
Platforms
Development Platforms
Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003