metaSMT 2
|
#include <ClauseWriter.hpp>
Public Member Functions | |
dimacs_solver (std::vector< unsigned > &model) | |
void | readModel (std::string const &log) |
boost::optional< bool > | solve (std::string const &filename) |
Definition at line 132 of file ClauseWriter.hpp.
metaSMT::solver::dimacs_solver< Exec >::dimacs_solver | ( | std::vector< unsigned > & | model | ) | [inline] |
Definition at line 134 of file ClauseWriter.hpp.
void metaSMT::solver::dimacs_solver< Exec >::readModel | ( | std::string const & | log | ) | [inline] |
Definition at line 138 of file ClauseWriter.hpp.
boost::optional< bool > metaSMT::solver::dimacs_solver< Exec >::solve | ( | std::string const & | filename | ) | [inline] |
Definition at line 207 of file ClauseWriter.hpp.