UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for MatcherScenario, including all inherited members.
addParameter(string paramName, string description, bool mandatory=true) | Scenario | protected |
addSynonymFor(string original, string synonym) | Scenario | protected |
alternateNames | Scenario | protected |
checkInitializationAndThrow() const | Scenario | protected |
getName() const | Scenario | |
getScenarioDesciption() const | Scenario | |
initialize(unordered_map< string, string > ¶meters) override | MatcherScenario | protectedvirtual |
uncover::basic_types::Scenario::initialize(vector< string > ¶ms) | Scenario | |
injective | MatcherScenario | private |
isInitialized() const | Scenario | |
MatcherScenario() | MatcherScenario | |
resultFilename | MatcherScenario | private |
run() override | MatcherScenario | virtual |
Scenario(string name, string desciptor, vector< string > const &alternateNames=vector< string >()) | Scenario | protected |
scenarioDescriptor | Scenario | protected |
scenarioName | Scenario | protected |
srcGraphs | MatcherScenario | private |
tarGraphs | MatcherScenario | private |
~MatcherScenario() | MatcherScenario | virtual |
~Scenario() | Scenario | virtual |