subgraph_paths[T: TYPE]: THEORY
BEGIN
IMPORTING paths[T], subgraphs[T]
G,HH: VAR graph[T]
w1,w2,v,s,t,z: VAR T
e: VAR doubleton[T]
V: VAR finite_set[T]
p: VAR prewalk
walk?_subgraph : LEMMA subgraph?(HH,G) AND walk?(HH, p)
IMPLIES walk?(G, p)
path?_subgraph : LEMMA subgraph?(HH,G) AND path?(HH, p)
IMPLIES path?(G, p)
END subgraph_paths
[ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
]
|