TLrnFPNotifyRec Struct Reference

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

Public Attributes
cvbval_t	NFalsePos
	Number of false positions.
cvbval_t	Reserved [9]
	Reserved for internal use.
SEARCHRESULTS	SearchResults
	Search results.
cvbval_t	State
	Current state.
cvbval_t	TrialNr
	Current trial number.

Detailed Description

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

Supported platforms:

Win32

Member Data Documentation

NFalsePos

Number of false positions.

Reserved[9]

Reserved for internal use.

SearchResults

Search results.

State

Current state.

TrialNr

Current trial number.