| products/Sources/formale Sprachen/PVS/orders/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: parsing.mllib Sprache: Unknown
|
Spracherkennung für: .mllib vermutete Sprache: C {C[14] Abap[252] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] Tok CLexer Extend Notation_gram Ppextend Notgram_ops Pcoq G_constr G_prim [ Dauer der Verarbeitung: 0.47 Sekunden ] |