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

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

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

Свойство Тип Описание
MaxDepthPerSchedule int
ZingModelFile string
numberOfSchedulesExplored int
traceLogFile string
zBoundedSearch ZingerBoundedSearch

Открытые методы

Метод Описание
InferConfiguration ( ) : void
PrintConfiguration ( ) : void

Приватные методы

Метод Описание
ZingerConfiguration ( ) : System

Описание методов

InferConfiguration() публичный статический Метод

public static InferConfiguration ( ) : void
Результат void

PrintConfiguration() публичный статический Метод

public static PrintConfiguration ( ) : void
Результат void

Описание свойств

MaxDepthPerSchedule публичное статическое свойство

public static int MaxDepthPerSchedule
Результат int

ZingModelFile публичное статическое свойство

public static string ZingModelFile
Результат string

numberOfSchedulesExplored публичное статическое свойство

public static int numberOfSchedulesExplored
Результат int

traceLogFile публичное статическое свойство

public static string traceLogFile
Результат string

zBoundedSearch публичное статическое свойство

public static ZingerBoundedSearch zBoundedSearch
Результат ZingerBoundedSearch