metaSMT git
|
#include <MiniSAT.hpp>
Public Member Functions | |
Minisat::Lit | toLit (SAT::tag::lit_tag lit) |
void | clause (std::vector< SAT::tag::lit_tag > const &clause) |
void | assertion (SAT::tag::lit_tag lit) |
void | assumption (SAT::tag::lit_tag lit) |
bool | solve () |
result_wrapper | read_value (SAT::tag::lit_tag lit) |
Definition at line 22 of file MiniSAT.hpp.
void metaSMT::solver::MiniSAT::assertion | ( | SAT::tag::lit_tag | lit | ) | [inline] |
Definition at line 71 of file MiniSAT.hpp.
void metaSMT::solver::MiniSAT::assumption | ( | SAT::tag::lit_tag | lit | ) | [inline] |
Definition at line 76 of file MiniSAT.hpp.
void metaSMT::solver::MiniSAT::clause | ( | std::vector< SAT::tag::lit_tag > const & | clause | ) | [inline] |
Definition at line 33 of file MiniSAT.hpp.
result_wrapper metaSMT::solver::MiniSAT::read_value | ( | SAT::tag::lit_tag | lit | ) | [inline] |
Definition at line 92 of file MiniSAT.hpp.
bool metaSMT::solver::MiniSAT::solve | ( | ) | [inline] |
Definition at line 82 of file MiniSAT.hpp.
Minisat::Lit metaSMT::solver::MiniSAT::toLit | ( | SAT::tag::lit_tag | lit | ) | [inline] |
Definition at line 25 of file MiniSAT.hpp.