Toggle navigation
Hot Examples
EN
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Search
Home
ExternalPlugin
StateCoverageState
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
>