Automatic generation produced by ISE Eiffel
deferred class EV_PROJECTOR General obsolete: "Use EV_MODEL_PROJECTOR instead. [2017-05-31]" cluster: interface description: "Viewers of EV_FIGURE_WORLDs." keywords: "projector, world, figure" Ancestors ANY Queries world: EV_FIGURE_WORLD Commands set_world (a_world: EV_FIGURE_WORLD) Constraints world exists -- Generated by Eiffel Studio --
For more details: eiffel.org