Base class for managing common aspects of verification studies. More...

Inheritance diagram for Verification:

Protected Member Functions
	Verification (Model &model)
	constructor
	Verification (NoDBBaseConstructor, Model &model)
	alternate constructor for instantiations "on the fly"
	~Verification ()
	destructor
void	run ()
	run portion of run_iterator; implemented by all derived classes and may include pre/post steps in lieu of separate pre/post
void	print_results (std::ostream &s)
	print the final iterator results
virtual void	perform_verification ()=0
	Redefines the run_iterator virtual function for the PStudy/DACE branch.

Detailed Description

Base class for managing common aspects of verification studies.

The Verification base class manages common data and functions, such as those involving ...

Member Function Documentation

void run ( ) [inline, protected, virtual]

run portion of run_iterator; implemented by all derived classes and may include pre/post steps in lieu of separate pre/post

Virtual run function for the iterator class hierarchy. All derived classes need to redefine it.

Reimplemented from Iterator.

void print_results ( std::ostream & s ) [protected, virtual]

print the final iterator results

This virtual function provides additional iterator-specific final results outputs beyond the function evaluation summary printed in finalize_run().

Reimplemented from Analyzer.

The documentation for this class was generated from the following files: