src/ell/SC_Outstream.cc
Go to the documentation of this file.00001 #include "SC_Outstream.hh" 00002 00003 namespace ell 00004 { 00005 00006 SC_Outstream::SC_Outstream( std::ostream& out_, 00007 const std::string& labelAdded) 00008 : SC_Counting(), out(out_), strAdded(labelAdded) 00009 { 00010 } 00011 00012 SC_Outstream::~SC_Outstream() 00013 { 00014 } 00015 00016 // This function is used to track all added intermediate States. 00017 // @param s the added State 00018 void 00019 SC_Outstream::add(const State& s) { 00020 // call handler of superclass 00021 SC_Counting::add(s); 00022 // print to stream 00023 out <<s.toString() <<strAdded <<std::endl; 00024 } 00025 00026 }