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