note description: "Constants (mostly size estimates of tables) used by the implementation of the alias calculus." author: "" date: "$Date$" revision: "$Revision$" class ALIASING_CONSTANTS feature -- Constants Period: STRING = "." -- Dot character. end