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

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

addParameter(string paramName, string description, bool mandatory=true)Scenarioprotected
addSynonymFor(string original, string synonym)Scenarioprotected
alternateNamesScenarioprotected
checkInitializationAndThrow() const Scenarioprotected
compileGTXLtoLatexConverterprivate
getName() const Scenario
getScenarioDesciption() const Scenario
graphIDSubsGTXLtoLatexConverterprivate
gtsGTXLtoLatexConverterprivate
GTXLtoLatexConverter()GTXLtoLatexConverter
initialize(unordered_map< string, string > &parameters) overrideGTXLtoLatexConverterprotectedvirtual
uncover::basic_types::Scenario::initialize(vector< string > &params)Scenario
isInitialized() const Scenario
ruleIDSubsGTXLtoLatexConverterprivate
run() overrideGTXLtoLatexConvertervirtual
Scenario(string name, string desciptor, vector< string > const &alternateNames=vector< string >())Scenarioprotected
scenarioDescriptorScenarioprotected
scenarioNameScenarioprotected
targetNameGTXLtoLatexConverterprivate
typeGTXLtoLatexConverterprivate
~GTXLtoLatexConverter()GTXLtoLatexConvertervirtual
~Scenario()Scenariovirtual