Fixpoint
v0.12.1
Search documentation of Fixpoint
Settings
CPSolver.Utils.BitGraph
(Fixpoint v0.12.1)
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)
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)