diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 17:37:30 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 17:37:30 -0500 |
commit | b28a42c3a4fd8c9b079b157ad8ff36e581b60d29 (patch) | |
tree | bdd4097f09eb093c251ac662f3783980c807e325 /src/util/regexp.h | |
parent | 7845fb33d5eda80bbe1149e302f7cf2f8f82bcdc (diff) |
Java bindings improvements for CASCADE, minor cleanup.
Diffstat (limited to 'src/util/regexp.h')
-rw-r--r-- | src/util/regexp.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index 85e827a8d..bcd569df0 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -219,13 +219,13 @@ public: namespace strings { -struct StringHashFunction { +struct CVC4_PUBLIC StringHashFunction { size_t operator()(const ::CVC4::String& s) const { return __gnu_cxx::hash<const char*>()(s.toString().c_str()); } };/* struct StringHashFunction */ -} +}/* CVC4::strings namespace */ inline std::ostream& operator <<(std::ostream& os, const String& s) CVC4_PUBLIC; inline std::ostream& operator <<(std::ostream& os, const String& s) { @@ -296,7 +296,7 @@ public: return d_str; } -};/* class String */ +};/* class RegExp */ /** * Hash function for the RegExp constants. @@ -311,6 +311,7 @@ inline std::ostream& operator <<(std::ostream& os, const RegExp& s) CVC4_PUBLIC; inline std::ostream& operator <<(std::ostream& os, const RegExp& s) { return os << s.toString(); } + }/* CVC4 namespace */ -#endif /* __CVC4__STRING_H */ +#endif /* __CVC4__REGEXP_H */ |