metaSMT 2
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 24 of file PicoSAT.hpp.


Constructor & Destructor Documentation

metaSMT::solver::PicoSAT::PicoSAT ( ) [inline]

Definition at line 27 of file PicoSAT.hpp.

metaSMT::solver::PicoSAT::~PicoSAT ( ) [inline]

Definition at line 36 of file PicoSAT.hpp.


Member Function Documentation

void metaSMT::solver::PicoSAT::assertion ( SAT::tag::lit_tag  lit) [inline]

Definition at line 56 of file PicoSAT.hpp.

void metaSMT::solver::PicoSAT::assumption ( SAT::tag::lit_tag  lit) [inline]

Definition at line 62 of file PicoSAT.hpp.

void metaSMT::solver::PicoSAT::clause ( std::vector< SAT::tag::lit_tag > const &  clause) [inline]

Definition at line 48 of file PicoSAT.hpp.

result_wrapper metaSMT::solver::PicoSAT::read_value ( SAT::tag::lit_tag  lit) [inline]

Definition at line 83 of file PicoSAT.hpp.

bool metaSMT::solver::PicoSAT::solve ( ) [inline]

Definition at line 68 of file PicoSAT.hpp.

int metaSMT::solver::PicoSAT::toLit ( SAT::tag::lit_tag  lit) [inline]

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