* @file
* @brief double ended queue of generic pointers.
* @author Christian von Roques
- * @version $Id$
*/
#ifndef FIRM_ADT_PDEQ_H
#define FIRM_ADT_PDEQ_H
#include "../begin.h"
+/**
+ * @ingroup adt
+ * @defgroup pdeq Double Ended Queue
+ * Implementation if a double ended queue datastructure for generic pointers
+ * @{
+ */
+
/**
* The type of the pointer compare function.
*
*/
FIRM_API void *pdeq_getr(pdeq *dq);
-#ifdef NDEBUG
-#define PDEQ_VRFY(deq) ((void)0)
-#else
-#define PDEQ_VRFY(deq) _pdeq_vrfy ((deq))
-FIRM_API void _pdeq_vrfy(pdeq *dq);
-#endif
-
/**
* The pdeq is often used as a wait queue. A helper
* type to support this.
*/
#define stack_empty(st) pdeq_empty(wq)
+/** @} */
+
#include "../end.h"
#endif