metaSMT git
Public Member Functions

metaSMT::solver::PicoSAT Class Reference

#include <PicoSAT.hpp>

List of all members.

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)

Detailed Description

Definition at line 23 of file PicoSAT.hpp.


Constructor & Destructor Documentation

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.


Member Function Documentation

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.


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