metaSMT git
Public Member Functions

metaSMT::solver::dimacs_solver< Exec > Struct Template Reference

#include <ClauseWriter.hpp>

List of all members.

Public Member Functions

 dimacs_solver (std::vector< unsigned > &model)
void readModel (std::string const &log)
boost::optional< bool > solve (std::string const &filename)

Detailed Description

template<typename Exec>
struct metaSMT::solver::dimacs_solver< Exec >

Definition at line 134 of file ClauseWriter.hpp.


Constructor & Destructor Documentation

template<typename Exec >
metaSMT::solver::dimacs_solver< Exec >::dimacs_solver ( std::vector< unsigned > &  model) [inline]

Definition at line 136 of file ClauseWriter.hpp.


Member Function Documentation

template<typename Exec >
void metaSMT::solver::dimacs_solver< Exec >::readModel ( std::string const &  log) [inline]

Definition at line 140 of file ClauseWriter.hpp.

template<typename Exec >
boost::optional< bool > metaSMT::solver::dimacs_solver< Exec >::solve ( std::string const &  filename) [inline]

Definition at line 209 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