This file is indexed.

/usr/share/Yap/wgraphs.yap is in yap 5.1.3-6.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/**************************************

SICStus compatible wgraphs.yap

**************************************/

:- module( wgraphs,
	   [vertices_edges_to_wgraph/3]
	 ).

:- reexport(library(wdgraphs),
	    [wdgraph_vertices/2 as vertices,
	     wdgraph_edges/2 as edges,
	     wdgraph_to_dgraph/2 as wgraph_to_ugraph,
	     dgraph_to_wdgraph/2 as ugraph_to_wgraph,
	     wdgraph_add_vertices/3 as add_vertices,
	     wdgraph_del_vertices/3 as del_vertices,
	     wdgraph_add_edges/3 as add_edges,
	     wdgraph_del_edges/3 as del_edges,
	     wdgraph_transpose/2 as transpose,
	     wdgraph_neighbors/3 as neighbors,
	     wdgraph_neighbours/3 as neighbours,
	     wdgraph_transitive_closure/2 as transitive_closure,
	     wdgraph_symmetric_closure/2 as symmetric_closure,
	     wdgraph_top_sort/2 as top_sort,
	     wdgraph_max_path/5 as max_path,
	     wdgraph_min_path/5 as min_path,
	     wdgraph_min_paths/3 as min_paths,
	     wdgraph_path/3 as path]).

:- reexport(library(wundgraphs),
	    [wundgraph_min_tree/3 as min_tree]).

:- use_module(library(wdgraphs),
	      [wdgraph_new/1,
	       wdgraph_add_vertices_and_edges/4]).

vertices_edges_to_wgraph(Vertices, Edges, Graph) :-
	wdgraph_new(G0),
	wdgraph_add_vertices_and_edges(G0, Vertices, Edges, Graph).