|
IntervalExpr : DATATYPE WITH SUBTYPES RealExpr, BoolExpr
BEGIN
IMPORTING interval,
structures@Unit,
reals@real_orders
% Irrational constants are modeled a functions to force lazy evaluation
CONST(opc:[Unit->real],opC:(Includes?(opc(unit)))) : const? : RealExpr
VARIDX(varidx:nat) : varidx? : RealExpr
ADD(op1,op2:RealExpr) : add? : RealExpr
ABS(op:RealExpr) : abs? : RealExpr
NEG(op:RealExpr) : neg? : RealExpr
SUB(op1,op2:RealExpr) : sub? : RealExpr
MULT(op1,op2:RealExpr) : mult? : RealExpr
SQ(op:RealExpr) : sq? : RealExpr
POW(op:RealExpr,opn:nat) : pow? : RealExpr
DIV(op1,op2:RealExpr) : div? : RealExpr
FUN(pre:(Precondition?),opf:[real->real],
opF:{F:[Interval->Interval]| Inclusion?(pre,opf)(F)
AND Fundamental?(pre)(F)}, op:RealExpr) : fun? : RealExpr
LETIN(rlet:RealExpr,rin:RealExpr) : letin? : RealExpr
BCONST(opb:bool) : bconst? : BoolExpr
BNOT(bop:BoolExpr) : bnot? : BoolExpr
BAND(bop1,bop2:BoolExpr) : band? : BoolExpr
BOR(bop1,bop2:BoolExpr) : bor? : BoolExpr
BIMPLIES(bop1,bop2:BoolExpr) : bimplies? : BoolExpr
BREL(rel:RealOrder,op1,op2:RealExpr) : brel? : BoolExpr
BINCLUDES(op:RealExpr,opi:Interval) : bincludes? : BoolExpr
BITE(bif,bthen,belse:BoolExpr) : bite? : BoolExpr
BLETIN(blet:IntervalExpr,bin:BoolExpr) : bletin? : BoolExpr
END IntervalExpr
¤ Dauer der Verarbeitung: 0.15 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.
|
