Searched refs:edgeFilter (Results 1 – 1 of 1) sorted by relevance
185 getEdgeFrontier(nodes, inEdges, edgeFilter) { argument191 if (edgeFilter == undefined || edgeFilter(edge, edgeNumber)) {200 getNodeFrontier(nodes, inEdges, edgeFilter) { argument204 var edgeFrontier = graph.getEdgeFrontier(nodes, inEdges, edgeFilter);