

/* optional */ string | |
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 | |
Specifies the mode to use when executing ModelCheck. If null, the non-graphic mode will be used. | |
/* optional */ string | |
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 | |
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 |

/* optional */ pfcModelCheckMode | Mode |

/* optional */ string | OutputDir |

/* optional */ boolean | ShowInBrowser |

static pfcModelCheckInstructions | Create | () |
