Anonymous user
Kosaraju: Difference between revisions
→{{header|Standard ML}}
Line 998:
fun assigns (xs, nil) = xs
| assigns (xs, n :: ns) =
if unmark n then
let
nil => assigns (xs, ns)▼
val x = value n :: assign (nil, x)
in
assigns (x :: xs, ns)
end
else
*)
fun kosaraju xs = assigns (nil, visit (nil, Many xs :: nil))
Line 1,017 ⟶ 1,024:
val is = 0 :: nil
val ijs =
[0, 1, 2,
[0, 9, 10, 11, 12, 9, 11] ::
[1, 12] ::
Line 1,027 ⟶ 1,034:
val ns = make (16, is, ijs)
val xs = kosaraju ns</lang>
{{out}}
<pre>
> xs;
val it = [[15], [
</pre>
|