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

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

addParameter(string paramName, string description, bool mandatory=true)Scenarioprotected
addSynonymFor(string original, string synonym)Scenarioprotected
alternateNamesScenarioprotected
BackwardStepTest()BackwardStepTest
checkInitializationAndThrow() const Scenarioprotected
errorGraphsBackwardStepTestprivate
getName() const Scenario
getScenarioDesciption() const Scenario
gtsBackwardStepTestprivate
initialize(unordered_map< string, string > &parameters) overrideBackwardStepTestprotectedvirtual
uncover::basic_types::Scenario::initialize(vector< string > &params)Scenario
injectiveBackwardStepTestprivate
isInitialized() const Scenario
MINOR enum valueBackwardStepTestprivate
optimizeBackwardStepTestprivate
Order enum nameBackwardStepTestprivate
orderBackwardStepTestprivate
rulesFilenameBackwardStepTestprivate
run() overrideBackwardStepTestvirtual
Scenario(string name, string desciptor, vector< string > const &alternateNames=vector< string >())Scenarioprotected
scenarioDescriptorScenarioprotected
scenarioNameScenarioprotected
SUBGRAPH enum valueBackwardStepTestprivate
~BackwardStepTest()BackwardStepTestvirtual
~Scenario()Scenariovirtual