|
%------------------------------------------------------------------------------
% Orders defined on functions [T->real]
%
% Author: David Lester, Manchester University
%
% Version 1.0 14/06/09 Initial Version
%------------------------------------------------------------------------------
real_fun_orders[T:TYPE]: THEORY
BEGIN
x: VAR T
f1,f2: VAR [T->real]
;
<=(f1,f2): bool = FORALL x: f1(x) <= f2(x);
<(f1,f2): bool = FORALL x: f1(x) < f2(x);
>(f1,f2): bool = FORALL x: f1(x) > f2(x);
>=(f1,f2): bool = FORALL x: f1(x) >= f2(x);
END real_fun_orders
¤ Dauer der Verarbeitung: 0.18 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.
|
