프로퍼티 | 타입 | 설명 | |
---|---|---|---|
MaxDepthPerSchedule | int | ||
ZingModelFile | string | ||
numberOfSchedulesExplored | int | ||
traceLogFile | string | ||
zBoundedSearch | ZingerBoundedSearch |
메소드 | 설명 | |
---|---|---|
InferConfiguration ( ) : void | ||
PrintConfiguration ( ) : void |
메소드 | 설명 | |
---|---|---|
ZingerConfiguration ( ) : System |