| products/Sources/formale Sprachen/PVS/co_structures/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: refman-preamble.rst Sprache: UnknownOriginal von: PVS© |
|
||||||
|
symbols_as_interval : THEORY
BEGIN IMPORTING interval x,y : VAR real X,Y : VAR Interval n : VAR nat ;<(X,x) : MACRO bool = Lt(X,x) ;<=(X,x) : MACRO bool = Le(X,x) ;>(X,x) : MACRO bool = Gt(X,x) ;>=(X,x) : MACRO bool = Ge(X,x) ;+(X,Y) : MACRO Interval = Add(X,Y) ;+(x,Y) : MACRO Interval = Add([|x|],Y) ;+(X,y) : MACRO Interval = Add(X,[|y|]) ;-(X,Y) : MACRO Interval = Sub(X,Y) ;-(x,Y) : MACRO Interval = [|x|]-Y ;-(X,y) : MACRO Interval = X-[|y|] ;-(X) : MACRO Interval = Neg(X) ;*(X,Y) : MACRO Interval = Mult(X,Y) ;*(x,Y) : MACRO Interval = [|x|]*Y ;*(X,y) : MACRO Interval = X*[|y|] ;/(X,Y) : MACRO Interval = Div(X,Y) ;/(x,Y) : MACRO Interval = [|x|]/Y ;/(X,y) : MACRO Interval = X/[|y|] ;^(X,n) : MACRO Interval = Pow(X,n) END symbols_as_interval ¤ Dauer der Verarbeitung: 0.19 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 |
