Makefile: make hdr-check depend on generated headers
[alt-git.git] / reftable / pq.h
blob707bd26767bd117dc1aa49a7529adefe95da5b37
1 /*
2 Copyright 2020 Google LLC
4 Use of this source code is governed by a BSD-style
5 license that can be found in the LICENSE file or at
6 https://developers.google.com/open-source/licenses/bsd
7 */
9 #ifndef PQ_H
10 #define PQ_H
12 #include "record.h"
14 struct pq_entry {
15 size_t index;
16 struct reftable_record *rec;
19 struct merged_iter_pqueue {
20 struct pq_entry *heap;
21 size_t len;
22 size_t cap;
25 struct pq_entry merged_iter_pqueue_remove(struct merged_iter_pqueue *pq);
26 void merged_iter_pqueue_add(struct merged_iter_pqueue *pq, const struct pq_entry *e);
27 void merged_iter_pqueue_release(struct merged_iter_pqueue *pq);
28 int pq_less(struct pq_entry *a, struct pq_entry *b);
30 static inline struct pq_entry merged_iter_pqueue_top(struct merged_iter_pqueue pq)
32 return pq.heap[0];
35 static inline int merged_iter_pqueue_is_empty(struct merged_iter_pqueue pq)
37 return pq.len == 0;
40 #endif