|  | 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 |