Searched refs:edge_prefix (Results 1 – 1 of 1) sorted by relevance
104 const char* edge_prefix = ""; in Print() local109 edge_prefix = "#"; in Print()116 edge_prefix = "$"; in Print()123 edge_prefix = "$"; in Print()127 edge_prefix = "^"; in Print()131 edge_prefix = "w"; in Print()137 edge.to()->Print(edge_prefix, edge_name, max_depth, indent + 2); in Print()