|
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.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
