#include <ostream>
#include <typeinfo>
#include <functional>
#include <gringo/utility.hh>
Go to the source code of this file.
|
#define | GRINGO_HASH(T) namespace std { template <> struct hash<T> : hash<Gringo::Hashable> { }; } |
|
#define | GRINGO_CALL_HASH(T) namespace std { template <> struct hash<T> { size_t operator()(T const &x) const { return x.hash(); } }; } |
|
#define GRINGO_CALL_HASH |
( |
|
T | ) |
namespace std { template <> struct hash<T> { size_t operator()(T const &x) const { return x.hash(); } }; } |
#define GRINGO_HASH |
( |
|
T | ) |
namespace std { template <> struct hash<T> : hash<Gringo::Hashable> { }; } |