SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Represents a set of jobs, constructed as the cartesian product of a set of tools and a set of benchmarks. More...
#include <Jobs.h>
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 Tools & | mTools |
const BenchmarkSet & | mFiles |
std::vector< Job > | mJobs |
Represents a set of jobs, constructed as the cartesian product of a set of tools and a set of benchmarks.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |