graph
1
3
Sections
Graphs
Doc
Def
Case mk_adjmatrix(size,adj) = > body(size;adj)(x,z) == x/x2,x1. body(x2;x1)
is mentioned by
Def
adjm_to_adjl(m) == Case(m) Case mk_adjmatrix(n,f) = > mk_adjlist(n,
i.filter(
j.f(i,j);upto(0;n)))
[adjm_to_adjl]
Try larger context:
Graphs
graph
1
3
Sections
Graphs
Doc
i.filter(j.f(i,j);upto(0;n)))i.filter(j.f(i,j);upto(0;n)))