Manto (Manto.dll) 14.1
TLrnFPNotifyRec Struct Reference

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...
 

Detailed Description

The notification record is passed to the caller in the MCFindCounterExamples notification function during extraction operations.

Supported platforms:
Win32

Field Documentation

◆ NFalsePos

NFalsePos

Number of false positions.

◆ Reserved

Reserved[9]

Reserved for internal use.

◆ SearchResults

SearchResults

Search results.

◆ State

State

Current state.

◆ TrialNr

TrialNr

Current trial number.