20 #ifndef BACKWARDSTEPTEST_H_
21 #define BACKWARDSTEPTEST_H_
23 #include "../basic_types/Scenario.h"
24 #include "../graphs/GTS.h"
51 virtual void run()
override;
55 virtual void initialize(unordered_map<string,string>& parameters)
override;
The minor ordering.
Definition: BackwardStepTest.h:64
bool injective
Stores whether matches are injective or conflict-free.
Definition: BackwardStepTest.h:91
BackwardStepTest()
Generates a new BackwardStepTest scenario without initializing its parameters.
Definition: BackwardStepTest.cpp:51
string rulesFilename
Stores the path and filename of the rules read.
Definition: BackwardStepTest.h:71
BackwardStepTest::Order order
Stores the order used.
Definition: BackwardStepTest.h:96
virtual void initialize(unordered_map< string, string > ¶meters) override
Initializes the scenario with the given mapping, where the keys are parameter names.
Definition: BackwardStepTest.cpp:75
The subgraph ordering.
Definition: BackwardStepTest.h:66
shared_ptr< vector< graphs::Hypergraph_sp > > errorGraphs
Stores the loaded error graphs.
Definition: BackwardStepTest.h:81
virtual void run() override
Performs a single backward step with the rules and graphs with which this object was initialized...
Definition: BackwardStepTest.cpp:129
graphs::GTS_sp gts
Stores the loaded GTS.
Definition: BackwardStepTest.h:76
This test scenario takes a given set of rules and a given set of error graphs and performs a single b...
Definition: BackwardStepTest.h:34
A scenario is a subprogram using a set of input parameters to execute some algorithms, producing desired output.
Definition: Scenario.h:36
virtual ~BackwardStepTest()
Destroys this BackwardStepTest scenario.
Definition: BackwardStepTest.cpp:73
shared_ptr< GTS > GTS_sp
Alias for a shared pointer to a GTS object.
Definition: GTS.h:164
Order
This enumeration stores which order should be used.
Definition: BackwardStepTest.h:62
bool optimize
Stores whether optimization will be used or not.
Definition: BackwardStepTest.h:86