Library | Module

Module "pfcModelCheck"

Description

Contains interfaces related to ModelCheck.

Enumerated Types
enumpfcModelCheckMode
Specifies the ModelCheck mode.


Classes
classpfcModelCheckInstructions
This class describes ModelCheck instructions details.
classpfcModelCheckResults
This class contains a summary of the results of the ModelCheck run.