![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include <carl-settings/settings_utils.h>#include <benchmax/logging.h>#include <chrono>#include <filesystem>#include <string>#include <vector>

Go to the source code of this file.
Data Structures | |
| struct | benchmax::slurm::ArchiveProperties |
| All properties needed to archive log files. More... | |
| struct | benchmax::slurm::SubmitfileProperties |
| All properties needed to create a submit file. More... | |
| struct | benchmax::slurm::ChunkedSubmitfileProperties |
| All properties needed to create a submit file. More... | |
Namespaces | |
| benchmax | |
| benchmax::slurm | |
Functions | |
| void | benchmax::slurm::archive_log_files (const ArchiveProperties &p) |
| Put all log files into an archive. More... | |
| std::vector< fs::path > | benchmax::slurm::collect_result_files (const fs::path &basedir) |
| Collects all result files in the given base directory for this job id. More... | |
| std::string | benchmax::slurm::generate_submit_file (const SubmitfileProperties &p) |
| Generate a submit file for Slurm with the given properties. More... | |
| std::string | benchmax::slurm::generate_submit_file_chunked (const ChunkedSubmitfileProperties &p) |
| template<typename Jobs > | |
| void | benchmax::slurm::generate_jobs_file (const std::string &filename, std::pair< std::size_t, std::size_t > range, const Jobs &jobs) |
| int | benchmax::slurm::parse_job_id (const std::string &output) |
Parses the job id from the output of sbatch. More... | |
| std::string | benchmax::slurm::parse_result_info (const std::string &content, const std::string &name) |
| Parse a single result information from the output. More... | |
| void | benchmax::slurm::remove_log_files (const std::vector< fs::path > &files, bool remove) |
| Remove the given list of files. More... | |
| void | benchmax::slurm::clear_directory (const fs::path &basedir) |
| Clear log files from directory. More... | |
| bool | benchmax::slurm::is_job_finished (int jobid) |
| Checks if the given job is finished. More... | |