SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
benchmax::Results Class Reference

Stores results for for whole benchmax run. More...

#include <Results.h>

Collaboration diagram for benchmax::Results:
Collaboration graph
[legend]

Public Member Functions

std::optional< std::reference_wrapper< const BenchmarkResult > > get (const Tool *tool, const fs::path &file) const
 
const auto & data () const
 
void addResult (const Tool *tool, const fs::path &file, BenchmarkResult &&results)
 Add a new result. More...
 
void store (Database &db)
 Store all results to some database. More...
 
void store (XMLWriter &xml, const Jobs &jobs) const
 Store all results to a xml file. More...
 
void store (CSVWriter &csv, const Jobs &jobs) const
 Store all results to a csl file. More...
 

Private Attributes

std::mutex mMutex
 
std::map< const Tool *, std::size_t > mTools
 
std::map< fs::path, std::size_t > mFiles
 
std::map< std::pair< std::size_t, std::size_t >, BenchmarkResult > mData
 
size_t result_id = 1
 

Detailed Description

Stores results for for whole benchmax run.

Allows for (concurrent) insertion of the individual results via addResult(). Eventually results can be stored to a database (if enabled) or to a xml file.

Definition at line 33 of file Results.h.

Member Function Documentation

◆ addResult()

void benchmax::Results::addResult ( const Tool *  tool,
const fs::path &  file,
BenchmarkResult &&  results 
)
inline

Add a new result.

Definition at line 54 of file Results.h.

Here is the caller graph for this function:

◆ data()

const auto& benchmax::Results::data ( ) const
inline

Definition at line 50 of file Results.h.

Here is the caller graph for this function:

◆ get()

std::optional<std::reference_wrapper<const BenchmarkResult> > benchmax::Results::get ( const Tool *  tool,
const fs::path &  file 
) const
inline

Definition at line 41 of file Results.h.

Here is the caller graph for this function:

◆ store() [1/3]

void benchmax::Results::store ( CSVWriter &  csv,
const Jobs &  jobs 
) const
inline

Store all results to a csl file.

Definition at line 100 of file Results.h.

Here is the call graph for this function:

◆ store() [2/3]

void benchmax::Results::store ( Database &  db)
inline

Store all results to some database.

Definition at line 69 of file Results.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ store() [3/3]

void benchmax::Results::store ( XMLWriter &  xml,
const Jobs &  jobs 
) const
inline

Store all results to a xml file.

Definition at line 95 of file Results.h.

Here is the call graph for this function:

Field Documentation

◆ mData

std::map<std::pair<std::size_t,std::size_t>, BenchmarkResult> benchmax::Results::mData
private

Definition at line 38 of file Results.h.

◆ mFiles

std::map<fs::path, std::size_t> benchmax::Results::mFiles
private

Definition at line 37 of file Results.h.

◆ mMutex

std::mutex benchmax::Results::mMutex
private

Definition at line 35 of file Results.h.

◆ mTools

std::map<const Tool*, std::size_t> benchmax::Results::mTools
private

Definition at line 36 of file Results.h.

◆ result_id

size_t benchmax::Results::result_id = 1
private

Definition at line 39 of file Results.h.

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