diff options
author | lianah <lianahady@gmail.com> | 2013-03-21 15:43:58 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-03-21 15:43:58 -0400 |
commit | b791a54377d468946a3aec7e740f4eb33c640372 (patch) | |
tree | 24a9b5738b434de3b91ebf95c93315ff06a0ec8e /src/theory/bv/slicer.h | |
parent | 27a29561a94589987b9777d1554cfdc25a8c2479 (diff) |
incorporated dejan's constant evaluation; now getting destruction seg fault
Diffstat (limited to 'src/theory/bv/slicer.h')
-rw-r--r-- | src/theory/bv/slicer.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/bv/slicer.h b/src/theory/bv/slicer.h index 6bbe2f467..f63cf7284 100644 --- a/src/theory/bv/slicer.h +++ b/src/theory/bv/slicer.h @@ -315,10 +315,10 @@ class CoreSolver; class Slicer { __gnu_cxx::hash_map<TermId, TNode, __gnu_cxx::hash<TermId> > d_idToNode; - __gnu_cxx::hash_map<TNode, TermId, TNodeHashFunction> d_nodeToId; - __gnu_cxx::hash_map<TNode, bool, TNodeHashFunction> d_coreTermCache; - __gnu_cxx::hash_map<TNode, ExplanationId, TNodeHashFunction> d_explanationToId; - std::vector<TNode> d_explanations; + __gnu_cxx::hash_map<Node, TermId, NodeHashFunction> d_nodeToId; + __gnu_cxx::hash_map<Node, bool, NodeHashFunction> d_coreTermCache; + __gnu_cxx::hash_map<Node, ExplanationId, NodeHashFunction> d_explanationToId; + std::vector<Node> d_explanations; UnionFind d_unionFind; context::CDQueue<Node> d_newSplits; |