17 void ProbeReport(std::vector<Software::ThreadSimulationStruct>& GlobalThreadSimulations,
Software::SettingsStruct& Setting, std::vector<Software::TestStruct>& GlobalTests,
int StepSimulationIndex,
unsigned int NumberOfProbesToPrint, std::vector<std::tuple<uint32_t, uint32_t, double>>& ProbingSetsWithHighestProbabilities,
Software::HelperStruct& GlobalHelper, uint32_t NumberOfProcessedSimulations);
void CommandLineSettings(CommandLineParameterStruct &)
void EvaluationTableLine(std::array< std::string, 6 > &)
void ProbingSet(Software::SettingsStruct &Setting, Software::ProbingSetStruct &ProbingSet, double Probability, FILE *fp, Software::HelperStruct &GlobalHelper)
void ProbeReport(std::vector< Software::ThreadSimulationStruct > &GlobalThreadSimulations, Software::SettingsStruct &Setting, std::vector< Software::TestStruct > &GlobalTests, int StepSimulationIndex, unsigned int NumberOfProbesToPrint, std::vector< std::tuple< uint32_t, uint32_t, double > > &ProbingSetsWithHighestProbabilities, Software::HelperStruct &GlobalHelper, uint32_t NumberOfProcessedSimulations)
void SoftwareMaximumProbingSet(uint32_t, Software::TestStruct &, int &, std::string &)
void EvaluationTableHeader()
Defines a struct that track meta information for probes.
Defines all settings regarding software simulations.
Defines all settings belonging to the test prodecure.