20 #ifndef LEADERELECTIONRULECREATER_H_
21 #define LEADERELECTIONRULECREATER_H_
23 #include "../basic_types/Scenario.h"
52 virtual void run()
override;
56 virtual void initialize(unordered_map<string,string>& parameters)
override;
virtual void run() override
Creates a GTS for the leader election example with the given number of processes and writes it to the...
Definition: LeaderElectionRuleCreater.cpp:53
LeaderElectionRuleCreater()
Creates a new instance of this scenario.
Definition: LeaderElectionRuleCreater.cpp:39
string name
Stores the filename to which the GTS will be written.
Definition: LeaderElectionRuleCreater.h:68
unsigned int processCount
Stores the number of processes for which GTS will be created.
Definition: LeaderElectionRuleCreater.h:63
virtual ~LeaderElectionRuleCreater()
Destroys this instance of the LeaderElectionRuleCreater.
Definition: LeaderElectionRuleCreater.cpp:51
virtual void initialize(unordered_map< string, string > ¶meters) override
Initializes the scenario with the given mapping, where the keys are parameter names.
Definition: LeaderElectionRuleCreater.cpp:219
A scenario is a subprogram using a set of input parameters to execute some algorithms, producing desired output.
Definition: Scenario.h:36
When called this Scenario generates the GTS for the leader election example.
Definition: LeaderElectionRuleCreater.h:34