List of Import References :
See BOOL
See DENOTATION
SIGNATURE AcceleratorC[from, to, quick, slow]
$Date: 1998/06/16 16:00:14 $ ($Revision: 1.1.1.1 $)
-- accelerate execution of function slow if called with identical arguments -- by supplying a suitable chosen constant -- USE THIS STRUCTURE WITH GREAT CARE!!! -- PARAMETER CONDITION: ALL x. quick === slow(x, x) -- Parameter SORT from to FUN quick: to FUN slow: from ** from -> to FUN accelerate: from ** from -> to -- accelerate(a,b) = slow(a,b) -- if equality can be determined easily, accelerate(a,a) = quick -- note, that there is no way to determine whether equality can be -- determined easily
next node: AcceleratorF,
prev node: Subsystem Special,
up to node: Subsystem Special