metaSMT 2
Public Member Functions
metaSMT::solver::MiniSAT Class Reference

#include <MiniSAT.hpp>

List of all members.

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)

Detailed Description

Definition at line 22 of file MiniSAT.hpp.


Member Function Documentation

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.


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