SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Data Structures | |
struct | ArchiveProperties |
All properties needed to archive log files. More... | |
struct | SubmitfileProperties |
All properties needed to create a submit file. More... | |
struct | ChunkedSubmitfileProperties |
All properties needed to create a submit file. More... | |
Functions | |
void | archive_log_files (const ArchiveProperties &p) |
Put all log files into an archive. More... | |
std::vector< fs::path > | collect_result_files (const fs::path &basedir) |
Collects all result files in the given base directory for this job id. More... | |
std::string | generate_submit_file (const SubmitfileProperties &p) |
Generate a submit file for Slurm with the given properties. More... | |
std::string | generate_submit_file_chunked (const ChunkedSubmitfileProperties &p) |
int | parse_job_id (const std::string &output) |
Parses the job id from the output of sbatch . More... | |
std::string | parse_result_info (const std::string &content, const std::string &name) |
Parse a single result information from the output. More... | |
void | remove_log_files (const std::vector< fs::path > &files, bool remove) |
Remove the given list of files. More... | |
void | clear_directory (const fs::path &basedir) |
Clear log files from directory. More... | |
bool | is_job_finished (int jobid) |
Checks if the given job is finished. More... | |
template<typename Jobs > | |
void | generate_jobs_file (const std::string &filename, std::pair< std::size_t, std::size_t > range, const Jobs &jobs) |
void benchmax::slurm::archive_log_files | ( | const ArchiveProperties & | p | ) |
Put all log files into an archive.
Definition at line 11 of file SlurmUtilities.cpp.
void benchmax::slurm::clear_directory | ( | const fs::path & | basedir | ) |
Clear log files from directory.
basedir | Base directory to search in. |
Definition at line 193 of file SlurmUtilities.cpp.
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.
basedir | Base directory to search in. |
jobid | ID of slurm job. |
Definition at line 27 of file SlurmUtilities.cpp.
void benchmax::slurm::generate_jobs_file | ( | const std::string & | filename, |
std::pair< std::size_t, std::size_t > | range, | ||
const Jobs & | jobs | ||
) |
std::string benchmax::slurm::generate_submit_file | ( | const SubmitfileProperties & | p | ) |
Generate a submit file for Slurm with the given properties.
p | Collection of all information needed. |
Definition at line 44 of file SlurmUtilities.cpp.
std::string benchmax::slurm::generate_submit_file_chunked | ( | const ChunkedSubmitfileProperties & | p | ) |
bool benchmax::slurm::is_job_finished | ( | int | jobid | ) |
Checks if the given job is finished.
jobid | The job id. |
Definition at line 213 of file SlurmUtilities.cpp.
int benchmax::slurm::parse_job_id | ( | const std::string & | output | ) |
Parses the job id from the output of sbatch
.
output | Output of sbatch . |
Definition at line 158 of file SlurmUtilities.cpp.
std::string benchmax::slurm::parse_result_info | ( | const std::string & | content, |
const std::string & | name | ||
) |
Parse a single result information from the output.
content | Result information output. |
name | Information to be parsed. |
Definition at line 170 of file SlurmUtilities.cpp.
void benchmax::slurm::remove_log_files | ( | const std::vector< fs::path > & | files, |
bool | remove | ||
) |
Remove the given list of files.
files | List of files. |
remove | Boolean flag whether to actually remove files. |
Definition at line 182 of file SlurmUtilities.cpp.