Extract duplicated code for initializing OptimiserSettings from CommandLineOptions into a common function

This commit is contained in:
Kamil Śliwak
2021-09-13 15:35:11 +02:00
parent 2f663c5f36
commit 6b46d4fdbe
4 changed files with 37 additions and 51 deletions
+1 -1
View File
@@ -102,6 +102,7 @@ struct CommandLineOptions
bool operator==(CommandLineOptions const& _other) const noexcept;
bool operator!=(CommandLineOptions const& _other) const noexcept { return !(*this == _other); }
OptimiserSettings optimiserSettings() const;
struct
{
@@ -169,7 +170,6 @@ struct CommandLineOptions
bool initialize = false;
ModelCheckerSettings settings;
} modelChecker;
};
/// Parses the command-line arguments and produces a filled-out CommandLineOptions structure.