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