products/Sources/formale Sprachen/JAVA/openjdk-20-36_src/src/java.base/share/classes/java/security/  image not shown  

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

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]