Searched refs:DiGraph (Results 1 – 1 of 1) sorted by relevance
62 def parse_mizar(path: Path) -> nx.DiGraph:142 G = nx.DiGraph()184 def visualize(G: nx.DiGraph, outfile: Path) -> None: argument