diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-23 09:51:05 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-23 09:51:05 -0500 |
commit | 352dc1702c8bd19b6e8f794892551d6746f5454c (patch) | |
tree | 4b6e5ba6cbc79f712cb60b6eb66cbba6b8f4edcb /src/preprocessing/passes/bv_ackermann.h | |
parent | dfac0177347bc553da29fc60f850f031fbbba459 (diff) | |
parent | ac7db6796f2255678d3b2e2e87940211f162223e (diff) |
Merge branch 'master' into fixSetInfoNamefixSetInfoName
Diffstat (limited to 'src/preprocessing/passes/bv_ackermann.h')
-rw-r--r-- | src/preprocessing/passes/bv_ackermann.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/preprocessing/passes/bv_ackermann.h b/src/preprocessing/passes/bv_ackermann.h index 197e92178..5f799ffe4 100644 --- a/src/preprocessing/passes/bv_ackermann.h +++ b/src/preprocessing/passes/bv_ackermann.h @@ -26,16 +26,18 @@ #ifndef __CVC4__PREPROCESSING__PASSES__BV_ACKERMANN_H #define __CVC4__PREPROCESSING__PASSES__BV_ACKERMANN_H +#include <unordered_map> +#include "expr/node.h" #include "preprocessing/preprocessing_pass.h" #include "preprocessing/preprocessing_pass_context.h" -#include <unordered_map> - namespace CVC4 { namespace preprocessing { namespace passes { -typedef std::unordered_map<Node, NodeSet, NodeHashFunction> FunctionToArgsMap; +using TNodeSet = std::unordered_set<TNode, TNodeHashFunction>; +using FunctionToArgsMap = + std::unordered_map<TNode, TNodeSet, TNodeHashFunction>; class BVAckermann : public PreprocessingPass { |