Automatic generation produced by ISE Eiffel
class DV_LOCATED_VALUE_REDIRECTOR Ancestors ANY Clients DV_LOCATED_VALUE_REDIRECTOR DV_VALUE_LIST_REDIRECTOR Suppliers DV_LOCATED_VALUE_REDIRECTOR -- Generated by Eiffel Studio --
For more details: eiffel.org