C# Class Microsoft.Zing.ZingerStats

Mostrar archivo Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
MaxDepth	System.Int64
NumOfFrontiers	System.Int64
NumOfSchedulesExplored	System.Int64
NumOfStatesVisited	System.Int64
NumOfTransitionExplored	System.Int64
startTime	System.DateTime

Public Methods

Method	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 method

public static IncrementFrontiersCount ( ) : void
return	void

IncrementNumberOfSchedules() public static method

public static IncrementNumberOfSchedules ( ) : void
return	void

IncrementStatesCount() public static method

public static IncrementStatesCount ( ) : void
return	void

IncrementTransitionsCount() public static method

public static IncrementTransitionsCount ( ) : void
return	void

PeriodicTimerFunction() public static method

public static PeriodicTimerFunction ( object obj ) : void
obj	object
return	void

PrintFinalStats() public static method

public static PrintFinalStats ( ) : void
return	void

PrintPeriodicStats() public static method

public static PrintPeriodicStats ( ) : void
return	void

StartPeriodicStats() public static method

public static StartPeriodicStats ( ) : void
return	void

StopPeriodicStats() public static method

public static StopPeriodicStats ( ) : void
return	void

Property Details

MaxDepth public_oe static_oe property

public static Int64,System MaxDepth
return	System.Int64

NumOfFrontiers public_oe static_oe property

public static Int64,System NumOfFrontiers
return	System.Int64

NumOfSchedulesExplored public_oe static_oe property

public static Int64,System NumOfSchedulesExplored
return	System.Int64

NumOfStatesVisited public_oe static_oe property

public static Int64,System NumOfStatesVisited
return	System.Int64

NumOfTransitionExplored public_oe static_oe property

public static Int64,System NumOfTransitionExplored
return	System.Int64

startTime public_oe static_oe property

public static DateTime,System startTime
return	System.DateTime