ExplorationResultExtensions Members
A class used to persist exploration result extension.
The following tables list the members exposed by the ExplorationResultExtensions type.
Public Constructors
| Name | Description | |
|---|---|---|
| ExplorationResultExtensions | Initializes a new instance of the ExplorationResultExtensions class. |
Top
Public Fields
| Name | Description | |
|---|---|---|
.gif "public field") |
IgnoreSignature | Whether the exploration result's signature should be ignored. |
|
Signature | Signature. |
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
ExplorationResultExtensions Class
Microsoft.SpecExplorer.ObjectModel Namespace