diff options
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; |