Property | Type | Description | |
---|---|---|---|
MaxDepthPerSchedule | int | ||
ZingModelFile | string | ||
numberOfSchedulesExplored | int | ||
traceLogFile | string | ||
zBoundedSearch | ZingerBoundedSearch |
Method | Description | |
---|---|---|
InferConfiguration ( ) : void | ||
PrintConfiguration ( ) : void |
Method | Description | |
---|---|---|
ZingerConfiguration ( ) : System |
public static int numberOfSchedulesExplored | ||
return | int |