Searched refs:prefix_num (Results 1 – 1 of 1) sorted by relevance
450 const Number &prefix_num () const { return prefix_num_; } in prefix_num() function929 encoder.encode_num (str.prefix_num ()); in encode_str()