16 [
vertices_edges_to_wgraph/3]
19:-
wdgraph_vertices/2
wdgraph_edges/2
wdgraph_to_dgraph/2
dgraph_to_wdgraph/2
wdgraph_add_vertices/3
wdgraph_del_vertices/3
wdgraph_add_edges/3
wdgraph_del_edges/3
wdgraph_transpose/2
wdgraph_neighbors/3
wdgraph_neighbours/3
wdgraph_transitive_closure/2
wdgraph_symmetric_closure/2
wdgraph_top_sort/2
wdgraph_max_path/5
wdgraph_min_path/5
wdgraph_min_paths/3
wdgraph_path/3
reexport(library(wdgraphs),
31 as transitive_closure,
39:-
wundgraph_min_tree/3
reexport(library(wundgraphs),
42:-
wdgraph_new/1
wdgraph_add_vertices_and_edges/4
use_module(library(wdgraphs),
56vertices_edges_to_wgraph(
Vertices,
Edges,
Graph)
:-
58 wdgraph_add_vertices_and_edges(
G0,
Vertices,
Edges,
Graph).