FUNCTION equal_maths_functions
(fun1 : maths_function, fun2 : maths_function) : LOGICAL;
LOCAL
cum : LOGICAL;
END_LOCAL;
IF fun1 = fun2 THEN RETURN (TRUE); END_IF;
cum := equal_maths_spaces(fun1.domain,fun2.domain);
IF cum = FALSE THEN RETURN (FALSE); END_IF;
cum := cum AND equal_maths_spaces(fun1.range,fun2.range);
IF cum = FALSE THEN RETURN (FALSE); END_IF;
-- A lot OF further analysis is possible, but NOT required.
RETURN (UNKNOWN); END_FUNCTION; -- equal_maths_functions
|