Adapts the SMTRAT solver for OPB files.
More...
#include <SMTRAT_OPB.h>
|
| std::string | mName |
| | (Non-unique) identifier for the tool. More...
|
| |
| fs::path | mBinary |
| | Path to the binary. More...
|
| |
| std::string | mArguments |
| | Command line arguments that should be passed to the binary. More...
|
| |
| std::map< std::string, std::string > | mAttributes |
| | Attributes of the tool obtained by introspection of the binary. More...
|
| |
Adapts the SMTRAT solver for OPB files.
Definition at line 10 of file SMTRAT_OPB.h.
◆ SMTRAT_OPB()
| benchmax::SMTRAT_OPB::SMTRAT_OPB |
( |
const fs::path & |
binary, |
|
|
const std::string & |
arguments |
|
) |
| |
|
inline |
Adds "-opb" to instruct SMT-RAT to parse .opb files.
Definition at line 13 of file SMTRAT_OPB.h.
◆ additionalResults()
| virtual void benchmax::SMTRAT::additionalResults |
( |
const fs::path & |
, |
|
|
BenchmarkResult & |
result |
|
) |
| const |
|
inlineoverridevirtualinherited |
Computes the answer string from the exit code and parses statistics output.
Reimplemented from benchmax::Tool.
Definition at line 115 of file SMTRAT.h.
◆ attributeHash()
| std::size_t benchmax::Tool::attributeHash |
( |
| ) |
const |
|
inlineinherited |
Hash of the attributes.
Definition at line 112 of file Tool.h.
◆ attributes()
| const std::map<std::string,std::string>& benchmax::Tool::attributes |
( |
| ) |
const |
|
inlineinherited |
A set of attributes, for example compilation options.
Definition at line 72 of file Tool.h.
◆ binary()
| fs::path benchmax::Tool::binary |
( |
| ) |
const |
|
inlineinherited |
Full path to the binary.
Definition at line 67 of file Tool.h.
◆ canHandle()
| virtual bool benchmax::SMTRAT_OPB::canHandle |
( |
const fs::path & |
path | ) |
const |
|
inlineoverridevirtual |
◆ getCommandline() [1/2]
| virtual std::string benchmax::Tool::getCommandline |
( |
const std::string & |
file | ) |
const |
|
inlinevirtualinherited |
Compose commandline for this tool and the given input file.
Definition at line 122 of file Tool.h.
◆ getCommandline() [2/2]
| virtual std::string benchmax::Tool::getCommandline |
( |
const std::string & |
file, |
|
|
const std::string & |
localBinary |
|
) |
| const |
|
inlinevirtualinherited |
Compose commandline for this tool with another binary name and the given input file.
Definition at line 126 of file Tool.h.
◆ getStatusFromOutput()
| std::string benchmax::SMTRAT::getStatusFromOutput |
( |
const BenchmarkResult & |
result | ) |
const |
|
inlineinherited |
Try to parse memouts from stderr.
Definition at line 76 of file SMTRAT.h.
◆ name()
| std::string benchmax::Tool::name |
( |
| ) |
const |
|
inlineinherited |
Common name of this tool.
Definition at line 62 of file Tool.h.
◆ parse_stats()
◆ parseCommandline()
| virtual std::optional<std::string> benchmax::Tool::parseCommandline |
( |
const std::string & |
cmdline | ) |
const |
|
inlinevirtualinherited |
Compose commandline for this tool and the given input file.
Definition at line 130 of file Tool.h.
◆ resolveDependencies()
| std::vector<std::string> benchmax::Tool::resolveDependencies |
( |
| ) |
const |
|
inlineinherited |
Get dependencies of binary required to run it (via ldd)
Definition at line 77 of file Tool.h.
◆ mArguments
| std::string benchmax::Tool::mArguments |
|
protectedinherited |
Command line arguments that should be passed to the binary.
Definition at line 45 of file Tool.h.
◆ mAttributes
| std::map<std::string,std::string> benchmax::Tool::mAttributes |
|
protectedinherited |
Attributes of the tool obtained by introspection of the binary.
Definition at line 47 of file Tool.h.
◆ mBinary
| fs::path benchmax::Tool::mBinary |
|
protectedinherited |
Path to the binary.
Definition at line 43 of file Tool.h.
◆ mName
| std::string benchmax::Tool::mName |
|
protectedinherited |
(Non-unique) identifier for the tool.
Definition at line 41 of file Tool.h.
The documentation for this class was generated from the following file:
1.9.1 
