Graphs
Sections
NuprlLIB
Doc
Def
dfs(the_obj;s;i) == if member-paren(x,y.the_obj.eq(x,y);i;s)
s else [inl(i) / (the_obj.eacc((
s',j. dfs(the_obj;s';j)),[inr(i) / s],i))] fi (recursive)
is mentioned
In prior sections:
graph
1
3
Graphs
Sections
NuprlLIB
Doc
s else [inl(i) / (the_obj.eacc((
s',j. dfs(the_obj;s';j)),[inr(i) / s],i))] fi (recursive)