| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/interval_arith/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 948 B |
|
Quelle symbols_as_safe.pvs Sprache: PVS |
|||||||||
|
symbols_as_safe : THEORY
BEGIN IMPORTING safe_arith x,y : VAR real X,Y : VAR Interval n : VAR nat ;<(X,x) : MACRO bool = safe_Lt(X,x) ;<=(X,x) : MACRO bool = safe_Le(X,x) ;>(X,x) : MACRO bool = safe_Gt(X,x) ;>=(X,x) : MACRO bool = safe_Ge(X,x) ;+(X,Y) : MACRO Interval = safe_Add(X,Y) ;+(x,Y) : MACRO Interval = safe_Add([|x|],Y) ;+(X,y) : MACRO Interval = safe_Add(X,[|y|]) ;-(X,Y) : MACRO Interval = safe_Sub(X,Y) ;-(x,Y) : MACRO Interval = [|x|]-Y ;-(X,y) : MACRO Interval = X-[|y|] ;-(X) : MACRO Interval = safe_Neg(X) ;*(X,Y) : MACRO Interval = safe_Mult(X,Y) ;*(x,Y) : MACRO Interval = [|x|]*Y ;*(X,y) : MACRO Interval = X*[|y|] ;/(X,Y) : MACRO Interval = safe_Div(X,Y) ;/(x,Y) : MACRO Interval = [|x|]/Y ;/(X,y) : MACRO Interval = X/[|y|] ;^(X,n) : MACRO Interval = safe_Pow(X,n) END symbols_as_safe ¤ Dauer der Verarbeitung: 0.17 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28