FLOPC++
MP_set.cpp
Go to the documentation of this file.
00001 // ******************** FlopCpp **********************************************
00002 // File: MP_set.cpp
00003 // $Id$
00004 // Author: Tim Helge Hultberg (thh@mat.ua.pt)
00005 // Copyright (C) 2003 Tim Helge Hultberg
00006 // All Rights Reserved.
00007 //****************************************************************************
00008 
00009 #include "MP_set.hpp"
00010 #include "MP_model.hpp"
00011 #include <sstream>
00012 using namespace flopc;
00013 
00014 namespace flopc {
00015 
00016   MP_set MP_set::Empty = *new MP_set(1);
00017   MP_set &MP_set::getEmpty() {
00018     return Empty;
00019   }
00020     
00021 //   void MP_set_base::display() const { 
00022 //     //I don't like this hack.  However, until messenger is segregated from the 
00023 //     // model, it's pretty impossible to use it in a shared fashion.
00024 // ///  MP_model::getCurrentModel()->getMessenger()->logMessage(5,toString().c_str());
00025 //   }
00026 
00027 }