From 44e3d0555a8038f510b4dccdb0ac746e927bf394 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 17 Jun 2014 18:33:28 -0400 Subject: [PATCH] More minor code cleanup. --- src/util/bin_heap.h | 28 +++++++++++++++++++++------- 1 file changed, 21 insertions(+), 7 deletions(-) diff --git a/src/util/bin_heap.h b/src/util/bin_heap.h index 9238d12a5..f8bfe9137 100644 --- a/src/util/bin_heap.h +++ b/src/util/bin_heap.h @@ -1,11 +1,25 @@ +/********************* */ +/*! \file bin_heap.h + ** \verbatim + ** Original author: Tim King + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2014 New York University and The University of Iowa + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief An implementation of a binary heap + ** + ** An implementation of a binary heap. + ** Attempts to roughly follow the contract of Boost's d_ary_heap. + ** (http://www.boost.org/doc/libs/1_49_0/doc/html/boost/heap/d_ary_heap.html) + ** Also attempts to generalize ext/pd_bs/priority_queue. + ** (http://gcc.gnu.org/onlinedocs/libstdc++/ext/pb_ds/priority_queue.html) + **/ + +#include "cvc4_private.h" -/** - * An implementation of a binary heap. - * Attempts to roughly follow the contract of Boost's d_ary_heap. - * (http://www.boost.org/doc/libs/1_49_0/doc/html/boost/heap/d_ary_heap.html) - * Also attempts to generalize ext/pd_bs/priority_queue. - * (http://gcc.gnu.org/onlinedocs/libstdc++/ext/pb_ds/priority_queue.html) - */ namespace CVC4 { template > -- 2.30.2