x,y:Vertices(the_graph). Dec(x = y)
p1:Vertices(the_graph) List.
||p1|| < ||p||
path(the_graph;p1)
p1[0] = x
last(p1) = y x = y 
(
z:Vertices(the_graph). 
z = x & x-the_graph- > z & z-the_graph- > *y)
i:(||p||-1). p[i]-the_graph- > p[(i+1)]
p[1] = x
i:(||tl(p)||-1). tl(p)[i]-the_graph- > tl(p)[(i+1)]
last(tl(p)) = y
L:T List, x:T. null(L) last([x / L]) = last(L)
-5
None
About:
| | | | | | | |
 |  |  |  |  |  |  |