All_font_metrics (All_font_metrics const &);
public:
Index_to_charcode_map const *get_index_to_charcode_map (string filename,
All_font_metrics (All_font_metrics const &);
public:
Index_to_charcode_map const *get_index_to_charcode_map (string filename,