Class for a tracer that writes all output to a file. More...
#include <basic/Tracer.hh>
#include <utility/pointer/owning_ptr.hh>
#include <fstream>
Class for a tracer that writes all output to a file.