At:
dfs member
1
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.
i1: Vertices(the_graph)
7.
(inl(i1) 
s1) 
(inr(i1) s1)
(inl(i1) nil) (inl(i1) s1) (inr(i1) s1)
By:
Obvious
Generated subgoals:
None
About:
