Searched refs:edge_prefix (Results 1 – 1 of 1) sorted by relevance
120 const char* edge_prefix = ""; in Print() local125 edge_prefix = "#"; in Print()132 edge_prefix = "$"; in Print()139 edge_prefix = "$"; in Print()143 edge_prefix = "^"; in Print()147 edge_prefix = "w"; in Print()153 edge.to()->Print(edge_prefix, edge_name, max_depth, indent + 2); in Print()