Searched refs:FreeEdgeIds (Results 1 – 1 of 1) sorted by relevance
174 FreeEdgeVector FreeEdgeIds; variable209 if (!FreeEdgeIds.empty()) { in addConstructedEdge()210 EId = FreeEdgeIds.back(); in addConstructedEdge()211 FreeEdgeIds.pop_back(); in addConstructedEdge()263 : CurEId(CurEId), EndEId(G.Edges.size()), FreeEdgeIds(G.FreeEdgeIds) { in EdgeItr()274 while (EId < EndEId && is_contained(FreeEdgeIds, EId)) { in findNextInUse()281 const FreeEdgeVector &FreeEdgeIds; variable311 return G.Edges.size() - G.FreeEdgeIds.size(); in size()658 FreeEdgeIds.push_back(EId); in removeEdge()667 FreeEdgeIds.clear(); in clear()