mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-20 11:22:04 +00:00
Code Activity

fixing templates for broken windows hash functions

Browse source
This commit is contained in:
Ken McMillan 2013-12-16 12:41:43 -08:00
parent 1e8c04be8e
commit 3588d4a1ca
1 changed files with 10 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

21
src/interp/iz3base.h
View file

@ -24,6 +24,16 @@ Revision History:
#include "iz3mgr.h" #include "iz3mgr.h"
#include "iz3scopes.h" #include "iz3scopes.h"
namespace hash_space {
template <>
class hash<func_decl *> {
public:
size_t operator()(func_decl * const &s) const {
return (size_t) s;
}
};
}
/* Base class for interpolators. Includes an AST manager and a scoping /* Base class for interpolators. Includes an AST manager and a scoping
object as bases. */ object as bases. */
@ -180,17 +190,6 @@ class iz3base : public iz3mgr, public scopes {
}; };
namespace hash_space {
template <>
class hash<iz3mgr::symb> {
public:
size_t operator()(const iz3mgr::symb &s) const {
return (size_t) s;
}
};
}
#endif #endif