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

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

addParameter(string paramName, string description, bool mandatory=true)Scenarioprotected
addSynonymFor(string original, string synonym)Scenarioprotected
alternateNamesScenarioprotected
checkGraphsLEQCheckScenarioprivate
checkInitializationAndThrow() const Scenarioprotected
faststopLEQCheckScenarioprivate
getName() const Scenario
getScenarioDesciption() const Scenario
initialize(unordered_map< string, string > &parameters) overrideLEQCheckScenariovirtual
uncover::basic_types::Scenario::initialize(vector< string > &params)Scenario
isInitialized() const Scenario
LEQCheckScenario()LEQCheckScenario
minimalGraphsLEQCheckScenarioprivate
orderLEQCheckScenarioprivate
run() overrideLEQCheckScenariovirtual
Scenario(string name, string desciptor, vector< string > const &alternateNames=vector< string >())Scenarioprotected
scenarioDescriptorScenarioprotected
scenarioNameScenarioprotected
~LEQCheckScenario()LEQCheckScenariovirtual
~Scenario()Scenariovirtual