SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Tools.h File Reference
#include "Tool.h"
#include <benchmax/logging.h>
#include <benchmax/settings/Settings.h>
#include <filesystem>
#include <memory>
#include <vector>
Include dependency graph for Tools.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  benchmax::settings::ToolSettings
 Tool-related settings. More...
 

Namespaces

 benchmax
 
 benchmax::settings
 

Typedefs

using benchmax::ToolPtr = std::unique_ptr< Tool >
 A std::unique_ptr to a Tool. More...
 
using benchmax::Tools = std::vector< ToolPtr >
 A vector of ToolPtr. More...
 

Functions

template<typename T >
void benchmax::createTools (const std::vector< std::filesystem::path > &arguments, Tools &tools)
 Create tools of a given type T from a list of binaries and store them in tools. More...
 
Tools benchmax::loadTools ()
 Load all tools from the tool settings. More...
 
void benchmax::settings::registerToolSettings (SettingsParser *parser)
 Registers tool settings with the settings parser. More...
 
const auto & benchmax::settings_tools ()
 Returns the tool settings. More...