At:
dfs member
3
1.
the_graph: Graph
2.
the_obj: GraphObject(the_graph)
3.
s: traversal(the_graph)
4.
i: Vertices(the_graph)
5.
s1: traversal(the_graph)
6.
s2: traversal(the_graph)
7.
i1: Vertices(the_graph)
8.
(inl(i1) 
s1)
9.
(inr(i1) s1)
10.
(inl(i1) s2) 
(inl(i1) [inr(i1) / s1]) (inr(i1) [inr(i1) / s1])
(inl(i1) [inl(i1) / (s2 @ [inr(i1)])]) (inl(i1) s1) (inr(i1) s1)
By:
ObviousConcl
Generated subgoals:
None
About:
