| Library | Module | Frames | Expand |
| /* optional */ string | ConfigDir | |
| Specifies the directory which contains the ModelCheck configuration directory (which must be named 'config'). If null then the default ModelCheck configuration directory will be used. | ||
| /* optional */ pfcModelCheckMode | Mode | |
| Specifies the mode to use when executing ModelCheck. If null, the non-graphic mode will be used. | ||
| /* optional */ string | OutputDir | |
| Specifies the directory where the report will be written. If null then default ModelCheck output directory ,as per config_init.mc , will be used. | ||
| /* optional */ boolean | ShowInBrowser | |
| Specifies if the results report should be shown in the browser. If null (the default) it will not be shown. | ||
| static pfcModelCheckInstructions | Create () | |
| Creates a new pfcModelCheckInstructions object. | ||
| /* optional */ string | ConfigDir |
|
Specifies the directory which contains the ModelCheck configuration directory (which must be named 'config'). If null then the default ModelCheck configuration directory will be used. |
| /* optional */ pfcModelCheckMode | Mode |
|
Specifies the mode to use when executing ModelCheck. If null, the non-graphic mode will be used. |
| /* optional */ string | OutputDir |
|
Specifies the directory where the report will be written. If null then default ModelCheck output directory ,as per config_init.mc , will be used. |
| /* optional */ boolean | ShowInBrowser |
|
Specifies if the results report should be shown in the browser. If null (the default) it will not be shown. |
| static pfcModelCheckInstructions | Create | () |
|
Creates a new pfcModelCheckInstructions object.
|