diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-05-12 23:33:00 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-13 06:33:00 +0000 |
commit | 31242de4b423d7225174dd1672edb2dacb68f5b8 (patch) | |
tree | 657a453475affc67628b1391909af92f3346b411 /src/theory/arith/arith_preprocess.cpp | |
parent | ffd7bb2069df08c31fd9d8a03d786f1e9fc7147c (diff) |
Add std::hash overloads for Node, TNode and TypeNode. (#6534)
Eliminates NodeHashFunction, TNodeHashFunction and TypeNodeHashFunction.
Diffstat (limited to 'src/theory/arith/arith_preprocess.cpp')
-rw-r--r-- | src/theory/arith/arith_preprocess.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/theory/arith/arith_preprocess.cpp b/src/theory/arith/arith_preprocess.cpp index d5533de24..6ab399348 100644 --- a/src/theory/arith/arith_preprocess.cpp +++ b/src/theory/arith/arith_preprocess.cpp @@ -39,8 +39,7 @@ TrustNode ArithPreprocess::eliminate(TNode n, bool ArithPreprocess::reduceAssertion(TNode atom) { - context::CDHashMap<Node, bool, NodeHashFunction>::const_iterator it = - d_reduced.find(atom); + context::CDHashMap<Node, bool>::const_iterator it = d_reduced.find(atom); if (it != d_reduced.end()) { // already computed @@ -70,8 +69,7 @@ bool ArithPreprocess::reduceAssertion(TNode atom) bool ArithPreprocess::isReduced(TNode atom) const { - context::CDHashMap<Node, bool, NodeHashFunction>::const_iterator it = - d_reduced.find(atom); + context::CDHashMap<Node, bool>::const_iterator it = d_reduced.find(atom); if (it == d_reduced.end()) { return false; |