Class Dune::XT::Common::TimedPrefixedStreamBuffer

class Dune::XT::Common::TimedPrefixedStreamBuffer

A stream buffer to be used in TimedPrefixedLogStream.

Note

Most likely you do not want to use this class directly, but TimedPrefixedLogStream instead.

int Dune::XT::Common::TimedPrefixedStreamBuffer::sync()

No documentation provided.

std::string Dune::XT::Common::TimedPrefixedStreamBuffer::elapsed_time_str() const

No documentation provided.

Dune::XT::Common::TimedPrefixedStreamBuffer::TimedPrefixedStreamBuffer(const int &timer, std::string prefix, std::ostream &out = std::cout)

No documentation provided.

Dune::XT::Common::TimedPrefixedStreamBuffer::TimedPrefixedStreamBuffer(const TimedPrefixedStreamBuffer&) = delete

No documentation provided.

const int &Dune::XT::Common::TimedPrefixedStreamBuffer::timer_

No documentation provided.

const std::string Dune::XT::Common::TimedPrefixedStreamBuffer::prefix_

No documentation provided.

std::ostream &Dune::XT::Common::TimedPrefixedStreamBuffer::out_

No documentation provided.

bool Dune::XT::Common::TimedPrefixedStreamBuffer::prefix_needed_

No documentation provided.

std::mutex Dune::XT::Common::TimedPrefixedStreamBuffer::mutex_

No documentation provided.