Searched refs:encode_sequence_num (Results 1 – 1 of 1) sorted by relevance
114 encode_sequence_num: i32, field167 encode_sequence_num: i32, in new()179 encode_sequence_num, in new()243 ret.put_i32(self.encode_sequence_num); in save_session()264 (encode_sequence_num, decode_sequence_num, encode_key, decode_key, next_protocol_int), in from_saved_session_with_rng()296 encode_sequence_num, in from_saved_session_with_rng()479 self.encode_sequence_num += 1; in increment_encode_sequence_number()488 self.encode_sequence_num in get_sequence_number_for_encoding()