pqueue.h

/*
 * This file is part of libFirm.
 * Copyright (C) 2012 University of Karlsruhe.
 */
 
#ifndef FIRM_ADT_PQUEUE_H
#define FIRM_ADT_PQUEUE_H
 
#include <stddef.h>
 
#include "../begin.h"
 
typedef struct pqueue_t pqueue_t;
 
FIRM_API pqueue_t *new_pqueue(void);
 
FIRM_API void del_pqueue(pqueue_t *q);
 
FIRM_API void pqueue_put(pqueue_t *q, void *data, int priority);
 
FIRM_API void *pqueue_pop_front(pqueue_t *q);
 
FIRM_API size_t pqueue_length(pqueue_t const *q);
 
FIRM_API int pqueue_empty(pqueue_t const *q);
 
#include "../end.h"
 
#endif