Searched refs:encode_num (Results 1 – 3 of 3) sorted by relevance
126 encoder.encode_num (arg); in flush_args()146 encoder.encode_num (arg1); in flatten_blends()153 encoder.encode_num (arg1.deltas[k]); in flatten_blends()
82 void encode_num (const Number& n) in encode_num() function929 encoder.encode_num (str.prefix_num ()); in encode_str()
295 encoder.encode_num (env.eval_arg (i)); in flush_args()309 encoder.encode_num (env.width); in flush_width()