MP_set.cpp

Go to the documentation of this file.

// ******************** FlopCpp **********************************************
// File: MP_set.cpp
// $Id$
// Author: Tim Helge Hultberg (thh@mat.ua.pt)
// Copyright (C) 2003 Tim Helge Hultberg
// All Rights Reserved.
//****************************************************************************

#include "MP_set.hpp"
#include "MP_model.hpp"
#include <sstream>
using namespace flopc;

namespace flopc {

    MP_set MP_set::Empty = *new MP_set(1);
    MP_set &MP_set::getEmpty() {
        return Empty;
    }
    
    void MP_set_base::display()const { 
        //I don't like this hack.  However, until messenger is segregated from the 
        // model, it's pretty impossible to use it in a shared fashion.
    }

}