ExplorationResultLoader Members

  • Article

This class supports loading exploration result file into corresponding object models.

The following tables list the members exposed by the ExplorationResultLoader type.

Public Constructors

  Name Description
  ExplorationResultLoader Constructs a new instance of exploration result loader.

Top

Public Methods

(see also Protected Methods)

  Name Description
public method Equals  (Inherited from Object)
public method GetHashCode  (Inherited from Object)
public method GetType  (Inherited from Object)
public method LoadExplorationResult Loads exploration result object from exploration result file.
public method LoadExtensions Loads the extensions part from exploration result file.
public method LoadSharedEntities Loads state shared entities from exploration result.
public method LoadState Gets state entity from exploration result with given label.
public method LoadTransitionSystem Loads the transition system from exploration result file.
public method ToString  (Inherited from Object)

Top

Protected Methods

  Name Description
protected method Finalize  (Inherited from Object)
protected method MemberwiseClone  (Inherited from Object)

Top

See Also

Reference

ExplorationResultLoader Class
Microsoft.SpecExplorer.ObjectModel Namespace