CPSolver.Utils.BitGraph (Fixpoint v0.11.2)

Summary

Functions

add_edge(bg, v1, v2)

add_edge(bg, v1, v2, label)

add_vertex(bg, v)

add_vertex(bg, v, label)

copy(graph)

delete_edge(bg, v1, v2)

delete_edges(bg, edges)

delete_vertex(bg, v)

delete_vertices(bg, vertices)

edge(bg, v1, v2)

edges(bg)

edges(bg, v)

in_degree(bg, v)

in_edges(bg, v)

in_neighbours(bg, v)

new(opts \\ [])

num_edges(bg)

num_vertices(bg)

out_degree(bg, v)

out_edges(bg, v)

out_neighbours(bg, v)

vertex(bg, v)

vertices(bg)