16 static std::ostream* fei_ostream_ptr = &std::cerr;
17 if (osptr) fei_ostream_ptr = osptr;
18 return fei_ostream_ptr;
void set_console_ostream(std::ostream &os)
std::ostream * console_ostream_ptr(std::ostream *osptr=NULL)
std::ostream & console_out()