INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

copyright: "Object Tools, 1996-1997"
version: "1.1"
cluster: formats
class G_SYSTEM_DEPENDENCE
feature -- this constant is number of decimal digits, fitted into INTEGER type
-- used in fractional part calculating
-- decimal_digit_count < log10(Maxint)

decimal_digit_count: INTEGER
end -- class G_SYSTEM_DEPENDENCE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES