metaSMT git
|
#include <PicoSAT.hpp>
Public Member Functions | |
PicoSAT () | |
~PicoSAT () | |
int | 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 23 of file PicoSAT.hpp.
metaSMT::solver::PicoSAT::PicoSAT | ( | ) | [inline] |
Definition at line 26 of file PicoSAT.hpp.
metaSMT::solver::PicoSAT::~PicoSAT | ( | ) | [inline] |
Definition at line 35 of file PicoSAT.hpp.
void metaSMT::solver::PicoSAT::assertion | ( | SAT::tag::lit_tag | lit | ) | [inline] |
Definition at line 55 of file PicoSAT.hpp.
void metaSMT::solver::PicoSAT::assumption | ( | SAT::tag::lit_tag | lit | ) | [inline] |
Definition at line 61 of file PicoSAT.hpp.
void metaSMT::solver::PicoSAT::clause | ( | std::vector< SAT::tag::lit_tag > const & | clause | ) | [inline] |
Definition at line 47 of file PicoSAT.hpp.
result_wrapper metaSMT::solver::PicoSAT::read_value | ( | SAT::tag::lit_tag | lit | ) | [inline] |
Definition at line 82 of file PicoSAT.hpp.
bool metaSMT::solver::PicoSAT::solve | ( | ) | [inline] |
Definition at line 67 of file PicoSAT.hpp.
int metaSMT::solver::PicoSAT::toLit | ( | SAT::tag::lit_tag | lit | ) | [inline] |
Definition at line 42 of file PicoSAT.hpp.