| products/sources/formale sprachen/PVS/interval_arith/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: symbols_as_proper.pvs Sprache: PVSOriginal von: PVS© |
|
||||||
|
symbols_as_proper : THEORY
BEGIN IMPORTING proper_arith x,y : VAR real X,Y : VAR ProperInterval n : VAR nat ;<(X,x) : MACRO bool = proper_Lt(X,x) ;<=(X,x) : MACRO bool = proper_Le(X,x) ;>(X,x) : MACRO bool = proper_Gt(X,x) ;>=(X,x) : MACRO bool = proper_Ge(X,x) ;+(X,Y) : MACRO ProperInterval = proper_Add(X,Y) ;+(x,Y) : MACRO ProperInterval = proper_Add([|x|],Y) ;+(X,y) : MACRO ProperInterval = proper_Add(X,[|y|]) ;-(X,Y) : MACRO ProperInterval = proper_Sub(X,Y) ;-(x,Y) : MACRO ProperInterval = [|x|]-Y ;-(X,y) : MACRO ProperInterval = X-[|y|] ;-(X) : MACRO ProperInterval = proper_Neg(X) ;*(X,Y) : MACRO ProperInterval = proper_Mult(X,Y) ;*(x,Y) : MACRO ProperInterval = [|x|]*Y ;*(X,y) : MACRO ProperInterval = X*[|y|] YNz : VAR NzInterval ynz : VAR nzreal ;/(X,YNz) : MACRO ProperInterval = proper_Div(X,YNz) ;/(x,YNz) : MACRO ProperInterval = [|x|]/YNz ;/(X,ynz) : MACRO ProperInterval = X/[|ynz|] ;^(X,n) : MACRO ProperInterval = proper_Pow(X,n) END symbols_as_proper ¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤ |
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:Die farbliche Syntaxdarstellung ist noch experimentell.Bot Zugriff |
