StateEntity Members
The object model representing state content.
The following tables list the members exposed by the StateEntity type.
Public Constructors
Name | Description | |
---|---|---|
StateEntity | Overloaded. |
Top
Public Properties
Name | Description | |
---|---|---|
![]() |
Content | The root node of content of this state. |
![]() |
Description | A description of this state. |
![]() |
Flags | The flags of this state. |
![]() |
Label | Label which uniquely identifies a state in a TransitionSystem. |
Top
Public Methods
(see also Protected Methods)
Name | Description | |
---|---|---|
![]() |
Equals | (Inherited from Object) |
![]() |
GetHashCode | (Inherited from Object) |
![]() |
GetType | (Inherited from Object) |
![]() |
ToString | (Inherited from Object) |
Top
Protected Methods
Name | Description | |
---|---|---|
![]() |
Finalize | (Inherited from Object) |
![]() |
MemberwiseClone | (Inherited from Object) |
Top
See Also
Reference
StateEntity Class
Microsoft.SpecExplorer.ObjectModel Namespace