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 |