TPref::CTVerif Struct Reference
Collaboration diagram for TPref::CTVerif:
Detailed Description
Default configuration for the Property Verification.
Public Attributes | |
| CString | strCommand |
| Command. | |
| CString | strRunTime |
| CAS application path. | |
| CString | strConvert |
| COCOA Source File;. | |
| CString | strResult |
| Result of computation. | |
Member Data Documentation
| CString strCommand |
Command.
| CString strRunTime |
CAS application path.
| CString strConvert |
COCOA Source File;.
| CString strResult |
Result of computation.
