SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Jobs.h File Reference
#include <benchmax/tools/Tools.h>
#include <benchmax/benchmarks/BenchmarkSet.h>
#include <cmath>
#include <numeric>
Include dependency graph for Jobs.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  benchmax::RandomizationAdaptor< T >
 Provides iteration over a given std::vector in a pseudo-randomized order. More...
 
struct  benchmax::RandomizationAdaptor< T >::iterator
 
class  benchmax::Jobs
 Represents a set of jobs, constructed as the cartesian product of a set of tools and a set of benchmarks. More...
 

Namespaces

 benchmax
 

Typedefs

using benchmax::Job = std::pair< const Tool *, std::filesystem::path >
 Typedef for a job, consisting of a tool and an input file. More...