main page namespaces classes files
ELL home

src/ell/SC_Outstream.hh

Go to the documentation of this file.

#ifndef SC_OUTSTREAM_HH_
#define SC_OUTSTREAM_HH_

#include <iostream>
#include <string>

#include "ell/SC_Counting.hh"

namespace ell
{

    class SC_Outstream : public SC_Counting
    {
    protected:
        std::ostream& out;
        
        const std::string strAdded;
        
    public:
    
        SC_Outstream(   std::ostream& out, 
                        const std::string& labelAdded);
        
        virtual ~SC_Outstream();
    
        virtual void add(const State& s);
            
    };

}

#endif /*SC_OUTSTREAM_HH_*/