Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
taylor_help.pvs
Sprache: Unknown
taylor_help[T: TYPE FROM real]: THEORY
BEGIN
between(aa,bb:T): TYPE = {x: T | (aa < bb IMPLIES aa < x AND x < bb) AND
(bb < aa IMPLIES bb < x AND x < aa) AND
(aa = bb IMPLIES x = aa)}
END taylor_help
[ zur Elbe Produktseite wechseln0.1Quellennavigators
Analyse erneut starten
]
|
|