graph
1
3
Sections
Graphs
Doc
Def
mk_adjmatrix(size, adj) == < size,adj >
is mentioned by
Def
adjl_to_adjm(l) == Case(l) Case mk_adjlist(n; out ) = > mk_adjmatrix(n,
i,j. (
k
out(i).k=
j))
[adjl_to_adjm]
Try larger context:
Graphs
graph
1
3
Sections
Graphs
Doc