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

A set of benchmarks from some common base directory. More...

#include <BenchmarkSet.h>

Collaboration diagram for benchmax::BenchmarkSet:

Public Member Functions

void add_directory (const std::filesystem::path &dir)
 Recursively find all benchmarks from this directory. More...
 
std::size_t size () const
 Number of files. More...
 
auto begin () const
 Begin iterator. More...
 
auto end () const
 End iterator. More...
 

Private Member Functions

void add_recursive (const std::filesystem::path &path)
 Recursively add all benchmarks from this path. More...
 

Private Attributes

std::vector< std::filesystem::path > mFilesList
 List of files in this benchmark set. More...
 

Detailed Description

A set of benchmarks from some common base directory.

Definition at line 12 of file BenchmarkSet.h.

Member Function Documentation

◆ add_directory()

void benchmax::BenchmarkSet::add_directory ( const std::filesystem::path &  dir)

Recursively find all benchmarks from this directory.

Definition at line 40 of file BenchmarkSet.cpp.

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

◆ add_recursive()

void benchmax::BenchmarkSet::add_recursive ( const std::filesystem::path &  path)
private

Recursively add all benchmarks from this path.

Definition at line 11 of file BenchmarkSet.cpp.

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

◆ begin()

auto benchmax::BenchmarkSet::begin ( ) const
inline

Begin iterator.

Definition at line 27 of file BenchmarkSet.h.

◆ end()

auto benchmax::BenchmarkSet::end ( ) const
inline

End iterator.

Definition at line 31 of file BenchmarkSet.h.

◆ size()

std::size_t benchmax::BenchmarkSet::size ( ) const
inline

Number of files.

Definition at line 23 of file BenchmarkSet.h.

Here is the caller graph for this function:

Field Documentation

◆ mFilesList

std::vector<std::filesystem::path> benchmax::BenchmarkSet::mFilesList
private

List of files in this benchmark set.

Definition at line 15 of file BenchmarkSet.h.


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