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
BackwardStepTest
BackwardStepTest Member List
This is the complete list of members for
BackwardStepTest
, including all inherited members.
addParameter
(string paramName, string description, bool mandatory=true)
Scenario
protected
addSynonymFor
(string original, string synonym)
Scenario
protected
alternateNames
Scenario
protected
BackwardStepTest
()
BackwardStepTest
checkInitializationAndThrow
() const
Scenario
protected
errorGraphs
BackwardStepTest
private
getName
() const
Scenario
getScenarioDesciption
() const
Scenario
gts
BackwardStepTest
private
initialize
(unordered_map< string, string > ¶meters) override
BackwardStepTest
protected
virtual
uncover::basic_types::Scenario::initialize
(vector< string > ¶ms)
Scenario
injective
BackwardStepTest
private
isInitialized
() const
Scenario
MINOR
enum value
BackwardStepTest
private
optimize
BackwardStepTest
private
Order
enum name
BackwardStepTest
private
order
BackwardStepTest
private
rulesFilename
BackwardStepTest
private
run
() override
BackwardStepTest
virtual
Scenario
(string name, string desciptor, vector< string > const &alternateNames=vector< string >())
Scenario
protected
scenarioDescriptor
Scenario
protected
scenarioName
Scenario
protected
SUBGRAPH
enum value
BackwardStepTest
private
~BackwardStepTest
()
BackwardStepTest
virtual
~Scenario
()
Scenario
virtual
Generated on Tue Dec 8 2015 17:14:10 for UnCoVer (Using Coverability for Verification) by
1.8.6