C# Class ExternalPlugin.StateCoverageState

Inheritance: Microsoft.Zing.ZingerPluginState
Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство Type Description
StatesReached ConcurrentDictionary>

Méthodes publiques

Méthode Description
Clone ( ) : ZingerPluginState
StateCoverageState ( ) : System
ToString ( ) : string

Method Details

Clone() public méthode

public Clone ( ) : ZingerPluginState
Résultat Microsoft.Zing.ZingerPluginState

StateCoverageState() public méthode

public StateCoverageState ( ) : System
Résultat System

ToString() public méthode

public ToString ( ) : string
Résultat string

Property Details

StatesReached public_oe property

public ConcurrentDictionary> StatesReached
Résultat ConcurrentDictionary>