Library | File

File "pfcModelCheck.h"

Description

Contains interfaces related to ModelCheck.

Enumerated Types
enumpfcModelCheckMode
Specifies the ModelCheck mode.


Interface Classes
classpfcCustomCheckInstructions
This is a COMPACT class.
This class provides the details about custom ModelCheck check.
classpfcCustomCheckResults
This is a COMPACT class.
This class describes custom check results details.
classpfcModelCheckCustomCheckListener
This interface should be extended to provide the implementation for a ModelCheck custom check.
classpfcModelCheckInstructions
This is a COMPACT class.
This class describes ModelCheck instructions details.
classpfcModelCheckResults
This is a COMPACT class.
This class contains a summary of the results of the ModelCheck run.