cvc4-1.4
cdtrail_hashmap_forward.h
Go to the documentation of this file.
1/********************* */
24#include "cvc4_public.h"
25
26#pragma once
27
28namespace __gnu_cxx {
29 template <class Key> struct hash;
30}/* __gnu_cxx namespace */
31
32namespace CVC4 {
33 namespace context {
34 template <class Key, class Data, class HashFcn = __gnu_cxx::hash<Key> >
36 }/* CVC4::context namespace */
37}/* CVC4 namespace */
38
Macros that should be defined everywhere during the building of the libraries and driver binary,...
Definition expr.h:106