Searched defs:NFAEdge (Results 1 – 2 of 2) sorted by relevance
128 typedef NGHolder::edge_descriptor NFAEdge; typedef
1171 const map<NFAEdge, set<ue2_literal>> &cut_lits, in checkValidNetflowLits()1210 const map<NFAEdge, set<ue2_literal>> &cut_lits) { in splitEdgesByCut()