Module pfcModelCheck
Description
Contains interfaces related to ModelCheck.
Enumerated Types
enum | |
Specifies the ModelCheck mode. |
Classes
class | |
This class provides the details about custom ModelCheck check. | |
class | |
This class describes custom check results details. | |
class | |
This interface should be extended to provide the implementation for a ModelCheck custom check. | |
class | |
This class describes ModelCheck instructions details. | |
class | |
This class contains a summary of the results of the ModelCheck run. |