INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

cluster: ecom
class ECOM_COORD_FN
feature -- Operations

pixel_to_himetric (sz_pix: ECOM_SIZEL): ECOM_SIZEL

himetric_to_pixel (sz_him: ECOM_SIZEL): ECOM_SIZEL

map_pix_to_loghim (x, ppli: INTEGER): INTEGER

map_loghim_to_pix (x, ppli: INTEGER): INTEGER
feature -- Consts

HIMETRIC_PER_INCH: INTEGER
end -- class ECOM_COORD_FN

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES