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

