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

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

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

`#include <ISATProposition.h>`

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

[legend]
List of all members.

## Public Types
enum | TruthValueType { TRUEVAL, FALSEVAL, UNKNOWNVAL, TRUEVAL, FALSEVAL, UNKNOWNVAL }
## Public Member Functions
| ISATProposition (ISATPropositionDescription const *new_description_p)
virtual | ~ISATProposition ()
TruthValueType | get_truth_value () const
ISATPropositionDescription const * | get_description_p () const
bool | was_guessed () const
bool | is_marked () const
ISATProposition const & | operator= (ISATProposition const &other)
bool | operator== (ISATProposition const &other) const
bool | operator!= (ISATProposition const &other) const
## Friends
class | ISATTheory
class | ISATPropositionDB
std::ostream & | operator<< (std::ostream &stream, ISATProposition const &proposition)
std::ostream & | operator<< (std::ostream &stream, TruthValueType some_truth_value)

## Detailed Description

ISATProposition object holds information about a proposition.

Author:
  Seung H. Chung

Definition at line 45 of file ISATProposition.h.

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

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