diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-02-29 18:51:21 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-02-29 18:51:21 +0000 |
| commit | 2775faad7a03f2cda2e415f090b58a232a980227 (patch) | |
| tree | 726437ac6e5a8c2f7114a70fcce0d697b9b4e41f /src/runtime/c/gu/seq.h | |
| parent | b727e676b41b9a1e94c7326acf0a1efb70808f0a (diff) | |
libpgf: an API for building heaps from buffers in gu/seq.c
Diffstat (limited to 'src/runtime/c/gu/seq.h')
| -rw-r--r-- | src/runtime/c/gu/seq.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/runtime/c/gu/seq.h b/src/runtime/c/gu/seq.h index 257d71e5f..b21933a65 100644 --- a/src/runtime/c/gu/seq.h +++ b/src/runtime/c/gu/seq.h @@ -124,6 +124,20 @@ gu_buf_trim(GuBuf* buf); void gu_seq_resize_tail(GuSeq seq, ptrdiff_t change); + +// Using a buffer as a heap +void +gu_buf_heap_push(GuBuf *buf, GuOrder *order, void *value); + +void +gu_buf_heap_pop(GuBuf *buf, GuOrder *order, void* data_out); + +void +gu_buf_heap_replace(GuBuf *buf, GuOrder *order, void *value, void *data_out); + +void +gu_buf_heapify(GuBuf *buf, GuOrder *order); + #if 0 void gu_buf_resize_head(GuBuf* buf, ptrdiff_t change); |