benchmax::Minisat Class Reference

Tool wrapper for a Minisat solver. More...

#include <Minisat.h>

Inheritance diagram for benchmax::Minisat:

Collaboration diagram for benchmax::Minisat:

Public Member Functions
	Minisat (const fs::path &binary, const std::string &arguments)
	Create tool. More...
virtual bool	canHandle (const fs::path &path) const override
	Only handles .opb files. More...
virtual void	additionalResults (const fs::path &, BenchmarkResult &result) const override
	Parse results from stdout. More...
std::string	name () const
	Common name of this tool. More...
fs::path	binary () const
	Full path to the binary. More...
const std::map< std::string, std::string > &	attributes () const
	A set of attributes, for example compilation options. More...
std::vector< std::string >	resolveDependencies () const
	Get dependencies of binary required to run it (via ldd) More...
std::size_t	attributeHash () const
	Hash of the attributes. More...
virtual std::string	getCommandline (const std::string &file) const
	Compose commandline for this tool and the given input file. More...
virtual std::string	getCommandline (const std::string &file, const std::string &localBinary) const
	Compose commandline for this tool with another binary name and the given input file. More...
virtual std::optional< std::string >	parseCommandline (const std::string &cmdline) const
	Compose commandline for this tool and the given input file. More...

Protected Attributes
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...

Detailed Description

Tool wrapper for a Minisat solver.

Definition at line 17 of file Minisat.h.

Constructor & Destructor Documentation

Minisat()

benchmax::Minisat::Minisat ( const fs::path &  binary, const std::string &  arguments  )

inline

Create tool.

Definition at line 20 of file Minisat.h.

Member Function Documentation

additionalResults()

virtual void benchmax::Minisat::additionalResults ( const fs::path &  , BenchmarkResult &  result  ) const

inlineoverridevirtual

Parse results from stdout.

Reimplemented from benchmax::Tool.

Definition at line 28 of file Minisat.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.

Here is the caller graph for this function:

canHandle()

virtual bool benchmax::Minisat::canHandle ( const fs::path &  path ) const

inlineoverridevirtual

Only handles .opb files.

Reimplemented from benchmax::Tool.

Definition at line 23 of file Minisat.h.

Here is the call graph for this function:

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.

Here is the caller graph for this function:

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.

name()

std::string benchmax::Tool::name ( ) const

inlineinherited

Common name of this tool.

Definition at line 62 of file Tool.h.

Here is the caller graph for this function:

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.

Here is the call graph for this function:

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.

Here is the call graph for this function:

Field Documentation

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:

• benchmax/tools/Minisat.h