20 #ifndef BACKWARDANALYSISSCENARIO_H_
21 #define BACKWARDANALYSISSCENARIO_H_
23 #include "../analysis/BackwardAnalysis.h"
24 #include "../basic_types/Scenario.h"
25 #include "../graphs/GTS.h"
26 #include <boost/filesystem.hpp>
59 virtual void run()
override;
63 virtual void initialize(unordered_map<string,string>& parameters)
override;
boost::filesystem::path resultFolder
Stores the folder in which the files generated by this scenario, e.g.
Definition: BackwardAnalysisScenario.h:78
analysis::BackwardAnalysis * backwardAnalysis
This BackwardAnalysis object stores all data needed for a backward search and performs the steps...
Definition: BackwardAnalysisScenario.h:68
virtual void initialize(unordered_map< string, string > ¶meters) override
Initializes the scenario with the given mapping, where the keys are parameter names.
Definition: BackwardAnalysisScenario.cpp:82
virtual ~BackwardAnalysisScenario()
Destroys the current instance of this Scenario.
Definition: BackwardAnalysisScenario.cpp:78
This class performs a backward search to solve the coverability problem with respect to a given Order...
Definition: BackwardAnalysis.h:43
virtual void run() override
Performs the backward analysis.
Definition: BackwardAnalysisScenario.cpp:219
shared_ptr< BackwardResultHandler > BackwardResultHandler_sp
Alias for a shared pointer to a BackwardResultHandler.
Definition: BackwardResultHandler.h:105
This Scenario performs a backward analysis according to the provided parameters.
Definition: BackwardAnalysisScenario.h:39
BackwardAnalysisScenario()
Creates a new instance of this Scenario.
Definition: BackwardAnalysisScenario.cpp:53
analysis::BackwardResultHandler_sp resultHandler
Stores the BackwardResultHandler which processes the intermediate results of the backward search...
Definition: BackwardAnalysisScenario.h:73
A scenario is a subprogram using a set of input parameters to execute some algorithms, producing desired output.
Definition: Scenario.h:36