UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Scenario Member List

This is the complete list of members for Scenario, including all inherited members.

addParameter(string paramName, string description, bool mandatory=true)Scenarioprotected
addSynonymFor(string original, string synonym)Scenarioprotected
alternateNamesScenarioprotected
checkInitializationAndThrow() const Scenarioprotected
getName() const Scenario
getScenarioDesciption() const Scenario
initialize(vector< string > &params)Scenario
initialize(unordered_map< string, string > &parameters)=0Scenarioprotectedpure virtual
isInitialized() const Scenario
parameterDescriptorScenarioprivate
parameterNamesScenarioprivate
run()=0Scenariopure virtual
Scenario(string name, string desciptor, vector< string > const &alternateNames=vector< string >())Scenarioprotected
scenarioDescriptorScenarioprotected
scenarioNameScenarioprotected
synonymsScenarioprivate
wasInitializedScenarioprivate
~Scenario()Scenariovirtual