|
Manto (Manto.dll) 14.1
|
The notification record is passed to the caller in the MCFindCounterExamples notification function during extraction operations. More...
Data Fields | |
| cvbval_t | NFalsePos |
| Number of false positions. More... | |
| cvbval_t | Reserved [9] |
| Reserved for internal use. More... | |
| SEARCHRESULTS | SearchResults |
| Search results. More... | |
| cvbval_t | State |
| Current state. More... | |
| cvbval_t | TrialNr |
| Current trial number. More... | |
The notification record is passed to the caller in the MCFindCounterExamples notification function during extraction operations.
