C# Class ExternalPlugin.StateCoverageState

Inheritance: Microsoft.Zing.ZingerPluginState
Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property Type Description
StatesReached ConcurrentDictionary>

Public Methods

Method Description
Clone ( ) : ZingerPluginState
StateCoverageState ( ) : System
ToString ( ) : string

Method Details

Clone() public method

public Clone ( ) : ZingerPluginState
return Microsoft.Zing.ZingerPluginState

StateCoverageState() public method

public StateCoverageState ( ) : System
return System

ToString() public method

public ToString ( ) : string
return string

Property Details

StatesReached public property

public ConcurrentDictionary> StatesReached
return ConcurrentDictionary>