diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-06 02:09:06 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-06 02:09:06 +0000 |
commit | 0deb883f8c5ba550fda8b90501890940fd916a1b (patch) | |
tree | 645e90ff08d9120f207970f302661a149b988714 /src/compat/cvc3_compat.h | |
parent | 4c7de64f3367940faf9c6af48631bc837795c46d (diff) |
datatype stuff in compatibility interface implemented
Diffstat (limited to 'src/compat/cvc3_compat.h')
-rw-r--r-- | src/compat/cvc3_compat.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/compat/cvc3_compat.h b/src/compat/cvc3_compat.h index 1e4511ba5..71bea5cf8 100644 --- a/src/compat/cvc3_compat.h +++ b/src/compat/cvc3_compat.h @@ -16,7 +16,9 @@ ** CVC3 compatibility layer for CVC4. This version was derived from ** the following CVS revisions of the following files in CVC3. If ** those files have a later revision, then this file might be out of - ** date. + ** date. Note that this compatibility layer is not safe for use in + ** multithreaded contexts where multiple threads are accessing this + ** compatibility layer functionality. ** ** src/include/vc.h 1.36 ** src/include/expr.h 1.39 @@ -466,6 +468,12 @@ class CVC4_PUBLIC ValidityChecker { CVC4::SmtEngine* d_smt; CVC4::parser::Parser* d_parserContext; + typedef std::hash_map<std::string, const CVC4::Datatype*, CVC4::StringHashFunction> ConstructorMap; + typedef std::hash_map<std::string, std::pair<const CVC4::Datatype*, std::string>, CVC4::StringHashFunction> SelectorMap; + + ConstructorMap d_constructors; + SelectorMap d_selectors; + ValidityChecker(const CLFlags& clflags); void setUpOptions(CVC4::Options& options, const CLFlags& clflags); |