UnCoVer (Using Coverability for Verification)
Main Page
Related Pages
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Pages
uncover
scenarios
BackwardAnalysisScenario
BackwardAnalysisScenario Member List
This is the complete list of members for
BackwardAnalysisScenario
, including all inherited members.
addParameter
(string paramName, string description, bool mandatory=true)
Scenario
protected
addSynonymFor
(string original, string synonym)
Scenario
protected
alternateNames
Scenario
protected
backwardAnalysis
BackwardAnalysisScenario
protected
BackwardAnalysisScenario
()
BackwardAnalysisScenario
checkInitializationAndThrow
() const
Scenario
protected
getName
() const
Scenario
getScenarioDesciption
() const
Scenario
initialize
(unordered_map< string, string > ¶meters) override
BackwardAnalysisScenario
protected
virtual
uncover::basic_types::Scenario::initialize
(vector< string > ¶ms)
Scenario
isInitialized
() const
Scenario
resultFolder
BackwardAnalysisScenario
protected
resultHandler
BackwardAnalysisScenario
protected
run
() override
BackwardAnalysisScenario
virtual
Scenario
(string name, string desciptor, vector< string > const &alternateNames=vector< string >())
Scenario
protected
scenarioDescriptor
Scenario
protected
scenarioName
Scenario
protected
~BackwardAnalysisScenario
()
BackwardAnalysisScenario
virtual
~Scenario
()
Scenario
virtual
Generated on Tue Dec 8 2015 17:14:10 for UnCoVer (Using Coverability for Verification) by
1.8.6