diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-14 22:50:17 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-14 22:50:17 +0000 |
commit | 07e1a1668a27e90563f23bcf5abb5cb7fe30da86 (patch) | |
tree | 6af918e2d1c753b1254fbfb20677618a489ecd01 /src/prop/cnf_stream.h | |
parent | 06b5f38e17a1275e966e50c2d74274ef4d4d4697 (diff) |
Adding debugging code in PropEngine/CnfStream
Diffstat (limited to 'src/prop/cnf_stream.h')
-rw-r--r-- | src/prop/cnf_stream.h | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index ae4582d6f..7546a8880 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -39,18 +39,19 @@ class PropEngine; * @author Tim King <taking@cs.nyu.edu> */ class CnfStream { +public: + /** Cache of what nodes have been registered to a literal. */ + typedef __gnu_cxx::hash_map<SatLiteral, Node, SatSolver::SatLiteralHashFunction> NodeCache; + + /** Cache of what literals have been registered to a node. */ + typedef __gnu_cxx::hash_map<Node, SatLiteral, NodeHashFunction> TranslationCache; private: /** The SAT solver we will be using */ SatInputInterface *d_satSolver; - /** Cache of what literals have been registered to a node. */ - typedef __gnu_cxx::hash_map<Node, SatLiteral, NodeHashFunction> TranslationCache; TranslationCache d_translationCache; - - /** Cache of what nodes have been registered to a literal. */ - typedef __gnu_cxx::hash_map<SatLiteral, Node, SatSolver::SatLiteralHashFunction> NodeCache; NodeCache d_nodeCache; protected: @@ -153,6 +154,8 @@ public: */ SatLiteral getLiteral(TNode node); + const TranslationCache& getTranslationCache() const; + const NodeCache& getNodeCache() const; }; /* class CnfStream */ /** |