Searched refs:predsStr (Results 1 – 2 of 2) sorted by relevance
165 String predsStr = ""; in walkSerializingFA() local171 predsStr = "&&{"+ in walkSerializingFA()177 buf.append("-").append(edge.label.toString(grammar)).append(predsStr).append("->"); in walkSerializingFA()
299 String predsStr; in getEdgeLabel() local300 predsStr = "&&{"+ in getEdgeLabel()304 label += predsStr; in getEdgeLabel()