SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::Database Class Reference

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

Detailed Description

Dummy database that effectively disables storing to database. Set BENCHMAX_DATABASE to actually use a database.

Definition at line 96 of file Database.h.

Member Typedef Documentation

◆ Index

using benchmax::Database::Index = std::size_t

Dummy index type.

Definition at line 99 of file Database.h.

Member Function Documentation

◆ addBenchmarkAttribute()

void benchmax::Database::addBenchmarkAttribute ( Index  ,
const std::string &  ,
const std::string &   
)
inline

Dummy.

Definition at line 113 of file Database.h.

Here is the caller graph for this function:

◆ addBenchmarkResult()

Index benchmax::Database::addBenchmarkResult ( Index  ,
Index  ,
Index  ,
int  ,
std::size_t   
)
inline

Dummy.

Definition at line 111 of file Database.h.

Here is the caller graph for this function:

◆ addFile()

Index benchmax::Database::addFile ( const fs::path &  )
inline

Dummy.

Definition at line 105 of file Database.h.

◆ addTool()

Index benchmax::Database::addTool ( const Tool )
inline

Dummy.

Definition at line 101 of file Database.h.

◆ createBenchmark()

Index benchmax::Database::createBenchmark ( )
inline

Dummy.

Definition at line 109 of file Database.h.

Here is the caller graph for this function:

◆ getFileID()

Index benchmax::Database::getFileID ( const fs::path &  )
inline

Dummy.

Definition at line 107 of file Database.h.

Here is the caller graph for this function:

◆ getToolID()

Index benchmax::Database::getToolID ( const Tool )
inline

Dummy.

Definition at line 103 of file Database.h.

Here is the caller graph for this function:

The documentation for this class was generated from the following file: