Searched refs:TailId (Results 1 – 1 of 1) sorted by relevance
394 const auto &TailId = E.first.second; in exportGraphAsDOT() local398 VertexNo[HeadId], VertexNo[TailId], in exportGraphAsDOT()400 TailId, getLabel(E, EdgeLabel), getColor(E, G, H, EdgeColor), in exportGraphAsDOT()