C# Класс Microsoft.Zing.ZingerStats

Показать файл Открыть проект

Открытые свойства

Свойство	Тип	Описание
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