UnCoVer (Using Coverability for Verification)
Main Page
Related Pages
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Pages
uncover
scenarios
GTXLtoLatexConverter
GTXLtoLatexConverter Member List
This is the complete list of members for
GTXLtoLatexConverter
, 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
compile
GTXLtoLatexConverter
private
getName
() const
Scenario
getScenarioDesciption
() const
Scenario
graphIDSubs
GTXLtoLatexConverter
private
gts
GTXLtoLatexConverter
private
GTXLtoLatexConverter
()
GTXLtoLatexConverter
initialize
(unordered_map< string, string > ¶meters) override
GTXLtoLatexConverter
protected
virtual
uncover::basic_types::Scenario::initialize
(vector< string > ¶ms)
Scenario
isInitialized
() const
Scenario
ruleIDSubs
GTXLtoLatexConverter
private
run
() override
GTXLtoLatexConverter
virtual
Scenario
(string name, string desciptor, vector< string > const &alternateNames=vector< string >())
Scenario
protected
scenarioDescriptor
Scenario
protected
scenarioName
Scenario
protected
targetName
GTXLtoLatexConverter
private
type
GTXLtoLatexConverter
private
~GTXLtoLatexConverter
()
GTXLtoLatexConverter
virtual
~Scenario
()
Scenario
virtual
Generated on Tue Dec 8 2015 17:14:10 for UnCoVer (Using Coverability for Verification) by
1.8.6