| Library | Package | Frames | Expand | Java Toolkit |
| Interfaces | |
|---|---|
| CustomCheckInstructions | This class provides the details about custom ModelCheck check. |
| CustomCheckResults | This class describes custom check results details. |
| ModelCheckCustomCheckListener | This interface should be extended to provide the implementation for a ModelCheck custom check. |
| ModelCheckInstructions | This class describes ModelCheck instructions details. |
| ModelCheckResults | This class contains a summary of the results of the ModelCheck run. |
| Classes | |
|---|---|
| ModelCheckMode | Specifies the ModelCheck mode. |
| pfcModelCheck | Contains global CIP definitions for module "pfcModelCheck" |