ExplorationResult Members
The object model representing an exploration result.
The following tables list the members exposed by the ExplorationResult type.
Public Constructors
| Name | Description | |
|---|---|---|
| ExplorationResult | Initializes a new instance of the ExplorationResult class. |
Top
Public Properties
| Name | Description | |
|---|---|---|
.gif "public property") |
Extensions | The exploration result extensions. |
|
SharedEntities | Table of data entities shared among StateEntities. |
|
StateEntities | All state entities. |
|
TransitionSystem | The core transition system. |
Top
Public Methods
(see also Protected Methods)
| Name | Description | |
|---|---|---|
.gif "public method") |
Equals | (Inherited from Object) |
|
GetHashCode | (Inherited from Object) |
|
GetType | (Inherited from Object) |
|
ToString | (Inherited from Object) |
Top
Protected Methods
| Name | Description | |
|---|---|---|
.gif "protected method") |
Finalize | (Inherited from Object) |
|
MemberwiseClone | (Inherited from Object) |
Top
See Also
Reference
ExplorationResult Class
Microsoft.SpecExplorer.ObjectModel Namespace