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

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

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

`#include <ISATLiteral.h>`

Collaboration diagram for Mers::Solvers::SAT::ISAT::ISATLiteral:

[legend]
List of all members.

## Public Types
enum | PolarityType { POSITIVE, NEGATIVE }
enum | TruthValueType { TRUEVAL, FALSEVAL, UNKNOWNVAL, TRUEVAL, FALSEVAL, UNKNOWNVAL }
## Public Member Functions
| ISATLiteral (ISATProposition *new_proposition_p, PolarityType literal_type)
| ISATLiteral (ISATLiteral const &other)
virtual | ~ISATLiteral ()
bool | has_been_resolved () const
TruthValueType | get_truth_value () const
PolarityType | get_polarity () const
ISATProposition * | get_proposition_p () const
ISATClause * | get_parent_clause_p () const
void | set_parent_clause_p (ISATClause *clause_p)
bool | operator== (ISATLiteral const &other) const
bool | operator!= (ISATLiteral const &other) const
ISATLiteral const & | operator= (ISATLiteral const &other)
## Friends
std::ostream & | operator<< (std::ostream &stream, ISATLiteral::TruthValueType some_truth_value)
std::ostream & | operator<< (std::ostream &_ostream, ISATLiteral const &literal)

## Detailed Description

Author:
  Seung H. Chung

Definition at line 42 of file ISATLiteral.h.

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

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