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 }