Compartir a través de

ExplorationResult Constructor

  • Artículo

Initializes a new instance of the ExplorationResult class.

Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)

Usage

'Usage

Syntax

'Declaration

public ExplorationResult (
    TransitionSystem system,
    SharedEntitySet sharedEntities,
    IEnumerable<StateEntity> states,
    ExplorationResultExtensions extensions
)

Parameters

  • system
    The core transition system consisting of state labels and transitions.
  • sharedEntities
    Table of data entities shared among states.
  • states
    States referenced from system.
  • extensions
    Extensions part.

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

See Also

Reference

ExplorationResult Class
ExplorationResult Members
Microsoft.SpecExplorer.ObjectModel Namespace