Automatic generation produced by ISE Eiffel
deferred class EV_ACCELERATOR_I Ancestors EV_ANY_I* Descendants EV_ACCELERATOR_IMP Clients EV_ACCELERATOR EV_ACCELERATOR_I* Suppliers EV_ACCELERATOR_I* EV_KEY EV_NOTIFY_ACTION_SEQUENCE INTEGER_32 -- Generated by Eiffel Studio --
For more details: eiffel.org