metaSMT 2
Static Public Member Functions
metaSMT::solver::executable::PrecoSAT Struct Reference

#include <ClauseWriter.hpp>

List of all members.

Static Public Member Functions

static boost::optional< bool > execute (std::string const &dimacsFile, std::string const &log, std::string const &err)

Detailed Description

Definition at line 111 of file ClauseWriter.hpp.


Member Function Documentation

static boost::optional< bool > metaSMT::solver::executable::PrecoSAT::execute ( std::string const &  dimacsFile,
std::string const &  log,
std::string const &  err 
) [inline, static]

Definition at line 113 of file ClauseWriter.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines