C# Class Microsoft.Zing.ZingerStats

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство	Type	Description
MaxDepth	System.Int64
NumOfFrontiers	System.Int64
NumOfSchedulesExplored	System.Int64
NumOfStatesVisited	System.Int64
NumOfTransitionExplored	System.Int64
startTime	System.DateTime

Méthodes publiques

Méthode	Description
IncrementFrontiersCount ( ) : void
IncrementNumberOfSchedules ( ) : void
IncrementStatesCount ( ) : void
IncrementTransitionsCount ( ) : void
PeriodicTimerFunction ( object obj ) : void
PrintFinalStats ( ) : void
PrintPeriodicStats ( ) : void
StartPeriodicStats ( ) : void
StopPeriodicStats ( ) : void

Method Details

IncrementFrontiersCount() public static méthode

public static IncrementFrontiersCount ( ) : void
Résultat	void

IncrementNumberOfSchedules() public static méthode

public static IncrementNumberOfSchedules ( ) : void
Résultat	void

IncrementStatesCount() public static méthode

public static IncrementStatesCount ( ) : void
Résultat	void

IncrementTransitionsCount() public static méthode

public static IncrementTransitionsCount ( ) : void
Résultat	void

PeriodicTimerFunction() public static méthode

public static PeriodicTimerFunction ( object obj ) : void
obj	object
Résultat	void

PrintFinalStats() public static méthode

public static PrintFinalStats ( ) : void
Résultat	void

PrintPeriodicStats() public static méthode

public static PrintPeriodicStats ( ) : void
Résultat	void

StartPeriodicStats() public static méthode

public static StartPeriodicStats ( ) : void
Résultat	void

StopPeriodicStats() public static méthode

public static StopPeriodicStats ( ) : void
Résultat	void

Property Details

MaxDepth public_oe static_oe property

public static Int64,System MaxDepth
Résultat	System.Int64

NumOfFrontiers public_oe static_oe property

public static Int64,System NumOfFrontiers
Résultat	System.Int64

NumOfSchedulesExplored public_oe static_oe property

public static Int64,System NumOfSchedulesExplored
Résultat	System.Int64

NumOfStatesVisited public_oe static_oe property

public static Int64,System NumOfStatesVisited
Résultat	System.Int64

NumOfTransitionExplored public_oe static_oe property

public static Int64,System NumOfTransitionExplored
Résultat	System.Int64

startTime public_oe static_oe property

public static DateTime,System startTime
Résultat	System.DateTime