"digraph graphname{\n fixedsize=true; rankdir=TB; ranksep=.25; edge [fontsize=12]; node [fontsize=10, shape=circle,width=.5 ]; graph [resolution=20, fontsize=10];\n");
}
"digraph graphname{\n fixedsize=true; rankdir=TB; ranksep=.25; edge [fontsize=12]; node [fontsize=10, shape=circle,width=.5 ]; graph [resolution=20, fontsize=10];\n");
}
#endif
double MC_process_clock_get(const simgrid::kernel::actor::ActorImpl* process)
{
if (simgrid::mc::processes_time.empty())
return 0;
#endif
double MC_process_clock_get(const simgrid::kernel::actor::ActorImpl* process)
{
if (simgrid::mc::processes_time.empty())
return 0;