cdinsert_hashmap_forward.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#pragma once
namespace __gnu_cxx {
template <class Key> struct hash;
}/* __gnu_cxx namespace */
namespace CVC4 {
namespace context {
template <class Key, class Data, class HashFcn = __gnu_cxx::hash<Key> >
class CDInsertHashMap;
}/* CVC4::context namespace */
}/* CVC4 namespace */
CVC4::context::CDInsertHashMap
Definition cdinsert_hashmap_forward.h:35
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4
Definition expr.h:106
__gnu_cxx
Definition cdinsert_hashmap_forward.h:28
__gnu_cxx::hash
Definition cdtrail_hashmap_forward.h:29