![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Dummy database that effectively disables storing to database. Set BENCHMAX_DATABASE to actually use a database. More...
#include <Database.h>
Public Types | |
| using | Index = std::size_t |
| Dummy index type. More... | |
Public Member Functions | |
| Index | addTool (const Tool *) |
| Dummy. More... | |
| Index | getToolID (const Tool *) |
| Dummy. More... | |
| Index | addFile (const fs::path &) |
| Dummy. More... | |
| Index | getFileID (const fs::path &) |
| Dummy. More... | |
| Index | createBenchmark () |
| Dummy. More... | |
| Index | addBenchmarkResult (Index, Index, Index, int, std::size_t) |
| Dummy. More... | |
| void | addBenchmarkAttribute (Index, const std::string &, const std::string &) |
| Dummy. More... | |
Dummy database that effectively disables storing to database. Set BENCHMAX_DATABASE to actually use a database.
Definition at line 96 of file Database.h.
| using benchmax::Database::Index = std::size_t |
Dummy index type.
Definition at line 99 of file Database.h.
|
inline |
|
inline |
Dummy.
Definition at line 105 of file Database.h.
Dummy.
Definition at line 101 of file Database.h.
|
inline |
|
inline |