Свойство | Тип | Описание | |
---|---|---|---|
MaxDepthPerSchedule | int | ||
ZingModelFile | string | ||
numberOfSchedulesExplored | int | ||
traceLogFile | string | ||
zBoundedSearch | ZingerBoundedSearch |
Метод | Описание | |
---|---|---|
InferConfiguration ( ) : void | ||
PrintConfiguration ( ) : void |
Метод | Описание | |
---|---|---|
ZingerConfiguration ( ) : System |
public static InferConfiguration ( ) : void | ||
Результат | void |
public static PrintConfiguration ( ) : void | ||
Результат | void |
public static int MaxDepthPerSchedule | ||
Результат | int |
public static int numberOfSchedulesExplored | ||
Результат | int |