src/context/cdinsert_hashmap_forward.h

   1 /*********************                                                        */
   2 /*! \file cdinsert_hashmap_forward.h
   3  ** \verbatim
   4  ** Top contributors (to current version):
   5  **   Mathias Preiner, Tim King
   6  ** This file is part of the CVC4 project.
   7  ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
   8  ** in the top-level source directory and their institutional affiliations.
   9  ** All rights reserved.  See the file COPYING in the top-level source
  10  ** directory for licensing information.\endverbatim
  11  **
  12  ** \brief This is a forward declaration header to declare the CDInsertHashMap<>
  13  ** template
  14  **
  15  ** This is a forward declaration header to declare the CDInsertHashMap<>
  16  ** template.  It's useful if you want to forward-declare CDInsertHashMap<>
  17  ** without including the full cdinsert_hashmap.h header, for example, in a
  18  ** public header context.
  19  **
  20  ** For CDInsertHashMap<> in particular, it's difficult to forward-declare it
  21  ** yourself, because it has a default template argument.
  22  **/
  23
  24 #include "cvc4_public.h"
  25
  26 #ifndef CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H
  27 #define CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H
  28
  29 #include <functional>
  30
  31 namespace cvc5 {
  32 namespace context {
  33 template <class Key, class Data, class HashFcn = std::hash<Key> >
  34 class CDInsertHashMap;
  35 }  // namespace context
  36 }  // namespace cvc5
  37
  38 #endif /* CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H */