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

# /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/ISAT/ISATStringDescription.cpp

    00001 //========================================================================================
    00002 //
    00003 // Copyright (c) 2001           Model-based Embedded and Robotic Systems Group
    00004 // All Rights Reserved          Massachusetts Institute of Technology
    00005 //
    00006 // This software is provided as is. Model-based Embedded and Robotic Systems (MERS) group
    00007 // does not assume any responsibility.
    00008 //
    00009 // Author:                      Seung H. Chung
    00010 //
    00011 // Organization:        Model-based Embedded and Robotic Systems Group
    00012 //                                      Massachusetts Institute of Technology
    00013 //
    00014 // File:                        ISATStringDescription.cpp
    00015 //
    00016 // Description:
    00017 //
    00018 //
    00019 //
    00020 //========================================================================================
    00021
    00022 #include <cassert>
    00023 #include <cstdio>
    00024 #include "ISATStringDescription.h"
    00025
    00027
    00028 using namespace Mers::Solvers::SAT::ISAT;
    00029 using std::ostream;
    00030 using std::string;
    00031
    00033 // Public Constructors, Copy Constructors, & Destructors
    00035
    00036 ISATStringDescription::ISATStringDescription(string const *new_string_p)
    00037 {
    00038         string_p = new string(*new_string_p);
    00039 }
    00040
    00041 ISATStringDescription::~ISATStringDescription()
    00042 {
    00043         delete string_p;
    00044 }
    00045
    00046 //----------------------------------------------------------------------------------------
    00047 // Public Function Members
    00048 //----------------------------------------------------------------------------------------
    00049
    00050 ostream &
    00051 ISATStringDescription::print(ostream & stream) const
    00052 {
    00053         stream << *string_p;
    00054         return stream;
    00055 }
    00056
    00057 //----------------------------------------------------------------------------------------
    00058 // Public Operators
    00059 //----------------------------------------------------------------------------------------
    00060
    00061 bool
    00062 ISATStringDescription::operator == (ISATPropositionDescription const &other) const
    00063 {
    00064         return (*string_p == *((ISATStringDescription const *)&other)->string_p);
    00065 }
    00066
    00067 /*bool
    00068 ISATPropositionDescription::operator != (ISATPropositionDescription const &other) const
    00069 {
    00070         return !(*this == other);
    00071 }*/