- Main Page
- Namespaces
- Classes
- Files
- Related Pages

- Alphabetical List
- Class List
- Class Hierarchy
- Class Members

# Mers::Solvers::SAT::ISAT::ISATPropositionDB Class Reference

`#include <ISATPropositionDB.h>`

Inheritance diagram for Mers::Solvers::SAT::ISAT::ISATPropositionDB:

[legend]
List of all members.

## Public Member Functions
| ISATPropositionDB ()
| ~ISATPropositionDB ()
ISATProposition const * | get_proposition_p (ISATPropositionDescription const *description_p)
void | reset ()
## Protected Member Functions
ISATProposition * | find_proposition_p (ISATPropositionDescription const *description_p) const
void | remove_proposition (ISATProposition *proposition_p)
void | unmark_all_propositions ()
## Friends
std::ostream & | operator<< (std::ostream &stream, ISATPropositionDB const &proposition_DB)

## Detailed Description

Circularly linked list of proposition pointers. It follows the C++ Standard Template Library specifications. It is in charge of allocating and deallocating the propositions (i.e. this maintains a data base of propositions that ISAT uses).

Author:
  Seung H. Chung

Definition at line 50 of file ISATPropositionDB.h.

The documentation for this class was generated from the following files:

- /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/ISAT/ISATPropositionDB.h
- /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/ISAT/ISATPropositionDB.cpp