Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Outcome.pvs
Sprache: Unknown
Outcome : DATATYPE
BEGIN
IMPORTING list[real]
IsTrue : istrue?
Counterexample(counterexample:(cons?)) : isfalse?
Unknown : unknown?
END Outcome
[ Verzeichnis aufwärts0.16unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|