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

Writes results to a csv file. More...

#include <CSVWriter.h>

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

Public Member Functions

 CSVWriter (const std::string &filename)
 Open file for writing. More...
 
template<typename Results >
void write (const Jobs &jobs, const Results &results)
 Write results to file. More...
 

Private Member Functions

void replace (std::string &s, const std::string &pattern, const std::string &replacement) const
 
std::string sanitize (const std::string &s, bool eliminateSlashes=false) const
 
std::string sanitizeTool (const std::unique_ptr< Tool > &tool) const
 
std::string sanitizeFile (const fs::path &file) const
 
template<typename Results >
std::vector< std::string > collectStatistics (const Jobs &jobs, const Results &results, Tool *tool) const
 

Private Attributes

std::ofstream mFile
 

Detailed Description

Writes results to a csv file.

Definition at line 18 of file CSVWriter.h.

Constructor & Destructor Documentation

◆ CSVWriter()

benchmax::CSVWriter::CSVWriter ( const std::string &  filename)
inline

Open file for writing.

Definition at line 64 of file CSVWriter.h.

Member Function Documentation

◆ collectStatistics()

template<typename Results >
std::vector<std::string> benchmax::CSVWriter::collectStatistics ( const Jobs &  jobs,
const Results &  results,
Tool *  tool 
) const
inlineprivate

Definition at line 43 of file CSVWriter.h.

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

◆ replace()

void benchmax::CSVWriter::replace ( std::string &  s,
const std::string &  pattern,
const std::string &  replacement 
) const
inlineprivate

Definition at line 22 of file CSVWriter.h.

Here is the caller graph for this function:

◆ sanitize()

std::string benchmax::CSVWriter::sanitize ( const std::string &  s,
bool  eliminateSlashes = false 
) const
inlineprivate

Definition at line 29 of file CSVWriter.h.

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

◆ sanitizeFile()

std::string benchmax::CSVWriter::sanitizeFile ( const fs::path &  file) const
inlineprivate

Definition at line 39 of file CSVWriter.h.

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

◆ sanitizeTool()

std::string benchmax::CSVWriter::sanitizeTool ( const std::unique_ptr< Tool > &  tool) const
inlineprivate

Definition at line 36 of file CSVWriter.h.

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

◆ write()

template<typename Results >
void benchmax::CSVWriter::write ( const Jobs &  jobs,
const Results &  results 
)
inline

Write results to file.

Definition at line 69 of file CSVWriter.h.

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

Field Documentation

◆ mFile

std::ofstream benchmax::CSVWriter::mFile
private

Definition at line 20 of file CSVWriter.h.

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