SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::slurm::ArchiveProperties Struct Reference

All properties needed to archive log files. More...

#include <SlurmUtilities.h>

Collaboration diagram for benchmax::slurm::ArchiveProperties:

Data Fields

std::string filename_archive
 Filename of the archive. More...
 
std::string tmp_dir
 Temporary directory to look for output files. More...
 

Detailed Description

All properties needed to archive log files.

Definition at line 17 of file SlurmUtilities.h.

Field Documentation

◆ filename_archive

std::string benchmax::slurm::ArchiveProperties::filename_archive

Filename of the archive.

Definition at line 19 of file SlurmUtilities.h.

◆ tmp_dir

std::string benchmax::slurm::ArchiveProperties::tmp_dir

Temporary directory to look for output files.

Definition at line 21 of file SlurmUtilities.h.


The documentation for this struct was generated from the following file: