Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/TempoCollaborativePP/   (Wiener Entwicklungsmethode ©)  Datei vom 13.4.2020 mit Größe 98 B image not shown  

Quelle  integration_fault_model.prf   Sprache: unbekannt

 
(integration_fault_model
 (symmetric_single_denotation 0
  (symmetric_single_denotation-1 nil 3399202103
   ("" (expand "subset?")
    (("" (expand "member")
      (("" (expand "symmetric_denotation")
        (("" (expand "single_denotation")
          (("" (skosimp*)
            (("" (expand "symmetric_denotation?")
              (("" (expand "single_denotation?")
                (("" (assert) nil nil)) nil))
              nil))
            nil))
          nil))
        nil))
      nil))
    nil)
   ((member const-decl "bool" sets nil)
    (single_denotation const-decl "finite_set[below(N)]"
     integration_fault_model nil)
    (symmetric_denotation? const-decl "bool" integration_fault_model
     nil)
    (single_denotation? const-decl "bool" integration_fault_model nil)
    (symmetric_denotation const-decl "finite_set[below(N)]"
     integration_fault_model nil)
    (subset? const-decl "bool" sets nil))
   nil)))

100%


[ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet)  ]