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

Member nameDescription
EquivalentThis state is equivalent to its representative.
NoneThis state has no representative.
SubsumedThis 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: