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

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

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

`#include <ISATPropositions.h>`

List of all members.

## Public Member Functions
| ISATPropositions ()
| ISATPropositions (ISATPropositions const &other)
virtual | ~ISATPropositions ()
bool | is_empty () const
int | get_size () const
ISATProposition * | get_front () const
void | push_front (ISATProposition *proposition_p)
void | pop_front ()
void | remove_proposition (ISATProposition *proposition_p)
ISATPropositions const & | operator= (ISATPropositions const &other)
ISATPropositions const & | operator+= (ISATProposition &proposition)
ISATPropositions const & | operator+= (ISATPropositions const &other)
## Friends
std::ostream & | operator<< (std::ostream &stream, ISATPropositions const &propositions)

## Detailed Description

Circularly linked list of proposition pointers. It follows the C++ Standard Template Library specifications.

Author:
  Seung H. Chung

Definition at line 46 of file ISATPropositions.h.

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

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