-
- XBT_DEBUG("Dump %s", stream_.str().c_str());
- tracing_file << stream_.str() << std::endl;
-}
-
-void VariableEvent::print()
-{
- if (trace_format != simgrid::instr::TraceFormat::Paje)
- return;
-
- stream_ << " " << value_;
-
- XBT_DEBUG("Dump %s", stream_.str().c_str());
- tracing_file << stream_.str() << std::endl;
-}
-
-StateEvent::~StateEvent(){
- delete extra_;