![]() |
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 |