Partager via


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

See Also

Reference

Microsoft.SpecExplorer.ObjectModel Namespace