Base class for managing common aspects of verification studies. More...
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. |
Base class for managing common aspects of verification studies.
The Verification base class manages common data and functions, such as those involving ...
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.
References Verification::perform_verification().
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.
Reimplemented in RichExtrapVerification.