From 1a689213f8bd66f411f6ab56d18711979c0e40e4 Mon Sep 17 00:00:00 2001
From: Kazu Yamamoto <kazu@iij.ad.jp>
Date: Wed, 15 Jul 2020 16:31:02 +0900
Subject: [PATCH] defining IncludesAckEliciting.

---
 draft-ietf-quic-recovery.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/draft-ietf-quic-recovery.md b/draft-ietf-quic-recovery.md
index 7b00e87eee..39309b63f5 100644
--- a/draft-ietf-quic-recovery.md
+++ b/draft-ietf-quic-recovery.md
@@ -1182,6 +1182,12 @@ When an ACK frame is received, it may newly acknowledge any number of packets.
 Pseudocode for OnAckReceived and UpdateRtt follow:
 
 ~~~
+IncludesAckEliciting(packets):
+  for packet in packets:
+    if (packet.ack_eliciting):
+      return true
+  return false
+
 OnAckReceived(ack, pn_space):
   if (largest_acked_packet[pn_space] == infinite):
     largest_acked_packet[pn_space] = ack.largest_acked