products/sources/formale sprachen/PVS/graphs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: poly_minmax.prf   Sprache: Unknown

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)  ]