Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Sprache: Unknown
|
Outcome : DATATYPE
BEGIN
IMPORTING list[real]
IsTrue : istrue?
Counterexample(counterexample:(cons?)) : isfalse?
Unknown : unknown?
END Outcome
[ Dauer der Verarbeitung: 0.22 Sekunden
(vorverarbeitet)
]
|
|
