i.filter(j.f(i,j);upto(0;n)))a,v. if P(a)
[a / v] else v fi;nil;l)
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] |
In prior sections: mb list 1 mb list 2 graph 1 1
Try larger context:
Graphs