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

Represents a set of jobs, constructed as the cartesian product of a set of tools and a set of benchmarks. More...

#include <Jobs.h>

Collaboration diagram for benchmax::Jobs:

Public Member Functions

 Jobs (const Tools &tools, const BenchmarkSet &benchmarks)
 Construct jobs from a set of tools and a set of benchmark files. More...
 
const auto & tools () const
 Returns the set of tools. More...
 
const auto & files () const
 Returns the set of files. More...
 
auto size () const
 Returns the overall number of jobs. More...
 
auto begin () const
 Begin iterator. More...
 
auto end () const
 End iterator. More...
 
auto randomized () const
 Returns all jobs in a pseudo-randomized order. More...
 

Private Attributes

const ToolsmTools
 
const BenchmarkSetmFiles
 
std::vector< JobmJobs
 

Detailed Description

Represents a set of jobs, constructed as the cartesian product of a set of tools and a set of benchmarks.

Definition at line 70 of file Jobs.h.

Constructor & Destructor Documentation

◆ Jobs()

benchmax::Jobs::Jobs ( const Tools tools,
const BenchmarkSet benchmarks 
)
inline

Construct jobs from a set of tools and a set of benchmark files.

Definition at line 76 of file Jobs.h.

Here is the call graph for this function:

Member Function Documentation

◆ begin()

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

Begin iterator.

Definition at line 101 of file Jobs.h.

◆ end()

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

End iterator.

Definition at line 105 of file Jobs.h.

◆ files()

const auto& benchmax::Jobs::files ( ) const
inline

Returns the set of files.

Definition at line 92 of file Jobs.h.

Here is the caller graph for this function:

◆ randomized()

auto benchmax::Jobs::randomized ( ) const
inline

Returns all jobs in a pseudo-randomized order.

Definition at line 109 of file Jobs.h.

Here is the caller graph for this function:

◆ size()

auto benchmax::Jobs::size ( ) const
inline

Returns the overall number of jobs.

Definition at line 96 of file Jobs.h.

Here is the caller graph for this function:

◆ tools()

const auto& benchmax::Jobs::tools ( ) const
inline

Returns the set of tools.

Definition at line 88 of file Jobs.h.

Here is the caller graph for this function:

Field Documentation

◆ mFiles

const BenchmarkSet& benchmax::Jobs::mFiles
private

Definition at line 72 of file Jobs.h.

◆ mJobs

std::vector<Job> benchmax::Jobs::mJobs
private

Definition at line 73 of file Jobs.h.

◆ mTools

const Tools& benchmax::Jobs::mTools
private

Definition at line 71 of file Jobs.h.


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