Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/output/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 1 kB image not shown  

Quelle  Nametab.out   Sprache: unbekannt

 
Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is Q.N.K.foo)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is Q.N.K.foo)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is Q.N.K.foo)
Constant Nametab.Q.N.K.foo
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is Q.N.K.foo)
Module Nametab.Q.N.K
  (shorter name to refer to it in current context is Q.N.K)
Module Nametab.Q.N.K
  (shorter name to refer to it in current context is Q.N.K)
Module Nametab.Q.N.K
Module Nametab.Q.N.K
  (shorter name to refer to it in current context is Q.N.K)
Module Nametab.Q.N (shorter name to refer to it in current context is Q.N)
Module Nametab.Q.N
Module Nametab.Q.N (shorter name to refer to it in current context is Q.N)
Module Nametab.Q
Module Nametab.Q (shorter name to refer to it in current context is Q)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is K.foo)
Constant Nametab.Q.N.K.foo
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is K.foo)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is K.foo)
Constant Nametab.Q.N.K.foo
  (shorter name to refer to it in current context is K.foo)
Module Nametab.Q.N.K
Module Nametab.Q.N.K (shorter name to refer to it in current context is K)
Module Nametab.Q.N.K (shorter name to refer to it in current context is K)
Module Nametab.Q.N.K (shorter name to refer to it in current context is K)
Module Nametab.Q.N (shorter name to refer to it in current context is Q.N)
Module Nametab.Q.N
Module Nametab.Q.N (shorter name to refer to it in current context is Q.N)
Module Nametab.Q
Module Nametab.Q (shorter name to refer to it in current context is Q)
No object of basename T
Open Section Nametab.T

[ Dauer der Verarbeitung: 0.36 Sekunden  ]