Searched refs:rm_self_loop (Results 1 – 1 of 1) sorted by relevance
168 let rm_self_loop = gr.add_edge(x, x, e()); in make_graph() localVariable172 gr.remove_edge(rm_self_loop); in make_graph()