C# 클래스 Microsoft.Zing.ZingerStats

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 프로퍼티들

프로퍼티	타입	설명
MaxDepth	System.Int64
NumOfFrontiers	System.Int64
NumOfSchedulesExplored	System.Int64
NumOfStatesVisited	System.Int64
NumOfTransitionExplored	System.Int64
startTime	System.DateTime

공개 메소드들

메소드	설명
IncrementFrontiersCount ( ) : void
IncrementNumberOfSchedules ( ) : void
IncrementStatesCount ( ) : void
IncrementTransitionsCount ( ) : void
PeriodicTimerFunction ( object obj ) : void
PrintFinalStats ( ) : void
PrintPeriodicStats ( ) : void
StartPeriodicStats ( ) : void
StopPeriodicStats ( ) : void

메소드 상세

IncrementFrontiersCount() 공개 정적인 메소드

public static IncrementFrontiersCount ( ) : void
리턴	void

IncrementNumberOfSchedules() 공개 정적인 메소드

public static IncrementNumberOfSchedules ( ) : void
리턴	void

IncrementStatesCount() 공개 정적인 메소드

public static IncrementStatesCount ( ) : void
리턴	void

IncrementTransitionsCount() 공개 정적인 메소드

public static IncrementTransitionsCount ( ) : void
리턴	void

PeriodicTimerFunction() 공개 정적인 메소드

public static PeriodicTimerFunction ( object obj ) : void
obj	object
리턴	void

PrintFinalStats() 공개 정적인 메소드

public static PrintFinalStats ( ) : void
리턴	void

PrintPeriodicStats() 공개 정적인 메소드

public static PrintPeriodicStats ( ) : void
리턴	void

StartPeriodicStats() 공개 정적인 메소드

public static StartPeriodicStats ( ) : void
리턴	void

StopPeriodicStats() 공개 정적인 메소드

public static StopPeriodicStats ( ) : void
리턴	void

프로퍼티 상세

MaxDepth 공개적으로 정적으로 프로퍼티

public static Int64,System MaxDepth
리턴	System.Int64

NumOfFrontiers 공개적으로 정적으로 프로퍼티

public static Int64,System NumOfFrontiers
리턴	System.Int64

NumOfSchedulesExplored 공개적으로 정적으로 프로퍼티

public static Int64,System NumOfSchedulesExplored
리턴	System.Int64

NumOfStatesVisited 공개적으로 정적으로 프로퍼티

public static Int64,System NumOfStatesVisited
리턴	System.Int64

NumOfTransitionExplored 공개적으로 정적으로 프로퍼티

public static Int64,System NumOfTransitionExplored
리턴	System.Int64

startTime 공개적으로 정적으로 프로퍼티

public static DateTime,System startTime
리턴	System.DateTime