Searched refs:getEdgeLabel (Results 1 – 1 of 1) sorted by relevance
146 st.add("label", getEdgeLabel(edge)); in walkCreatingDFADOT()235 edgeST.add("label", getEdgeLabel(edge)); in walkRuleNFACreatingDOT()284 protected String getEdgeLabel(Transition edge) { in getEdgeLabel() method in DOTGenerator