Tool-related settings. More...

#include <Tools.h>

Collaboration diagram for benchmax::settings::ToolSettings:

[legend]

Data Fields
bool	collect_statistics
	Whether or not to collect statistics. More...

std::vector< std::filesystem::path >	tools_generic
	Generic tools. More...

std::vector< std::filesystem::path >	tools_mathsat
	MathSAT with SMT-LIB interface. More...

std::vector< std::filesystem::path >	tools_minisat
	Minisat with DIMACS interface. More...

std::vector< std::filesystem::path >	tools_minisatp
	Minisatp with OPB interface. More...

std::vector< std::filesystem::path >	tools_smtrat
	SMT-RAT with SMT-LIB interface. More...

std::vector< std::filesystem::path >	tools_smtrat_opb
	SMT-RAT with OPB interface. More...

std::vector< std::filesystem::path >	tools_smtrat_analyzer
	SMT-RAT formula analyzer. More...

std::vector< std::filesystem::path >	tools_z3
	z3 with SMT-LIB interface. More...

std::filesystem::path	tools_common_prefix
	Common prefix of tool binaries to simplify output. More...

Detailed Description

Tool-related settings.

Definition at line 31 of file Tools.h.

Field Documentation

◆ collect_statistics

bool benchmax::settings::ToolSettings::collect_statistics

Whether or not to collect statistics.

Definition at line 33 of file Tools.h.

◆ tools_common_prefix

std::filesystem::path benchmax::settings::ToolSettings::tools_common_prefix

Common prefix of tool binaries to simplify output.

Definition at line 51 of file Tools.h.

◆ tools_generic

std::vector<std::filesystem::path> benchmax::settings::ToolSettings::tools_generic

Generic tools.

Definition at line 35 of file Tools.h.

◆ tools_mathsat

std::vector<std::filesystem::path> benchmax::settings::ToolSettings::tools_mathsat

MathSAT with SMT-LIB interface.

Definition at line 37 of file Tools.h.

◆ tools_minisat

std::vector<std::filesystem::path> benchmax::settings::ToolSettings::tools_minisat

Minisat with DIMACS interface.

Definition at line 39 of file Tools.h.

◆ tools_minisatp

std::vector<std::filesystem::path> benchmax::settings::ToolSettings::tools_minisatp

Minisatp with OPB interface.

Definition at line 41 of file Tools.h.

◆ tools_smtrat

std::vector<std::filesystem::path> benchmax::settings::ToolSettings::tools_smtrat

SMT-RAT with SMT-LIB interface.

Definition at line 43 of file Tools.h.

◆ tools_smtrat_analyzer

std::vector<std::filesystem::path> benchmax::settings::ToolSettings::tools_smtrat_analyzer

SMT-RAT formula analyzer.

Definition at line 47 of file Tools.h.

◆ tools_smtrat_opb

std::vector<std::filesystem::path> benchmax::settings::ToolSettings::tools_smtrat_opb

SMT-RAT with OPB interface.

Definition at line 45 of file Tools.h.

◆ tools_z3

std::vector<std::filesystem::path> benchmax::settings::ToolSettings::tools_z3

z3 with SMT-LIB interface.

Definition at line 49 of file Tools.h.

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

benchmax/tools/Tools.h

Data Fields