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

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

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

`#include <ISATLiterals.h>`

List of all members.

## Public Member Functions
| ISATLiterals ()
virtual | ~ISATLiterals ()
int | get_numb_of_literals () const
void | insert_literal (ISATLiteral *literal_p)
void | remove_literal (ISATLiteral const *literal_p)
bool | operator== (ISATLiterals const &other) const
bool | operator!= (ISATLiterals const &other) const
## Protected Member Functions
void | clear ()
## Friends
std::ostream & | operator<< (std::ostream &stream, ISATLiterals const &literals)

## Detailed Description

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

Author:
  Seung H. Chung

Definition at line 45 of file ISATLiterals.h.

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

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