max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

feat(kernel/equiv_manager): use expr_struct_map in the equiv_manager

Browse source
This commit is contained in:
Leonardo de Moura 2016-07-06 08:59:13 -07:00
parent c379783c84
commit 9f8e3752f0
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/kernel/equiv_manager.h
View file

@ -17,9 +17,9 @@ class equiv_manager {
unsigned m_rank;
};
std::vector<node> m_nodes;
expr_map<node_ref> m_to_node;
bool m_use_hash;
std::vector<node> m_nodes;
expr_struct_map<node_ref> m_to_node;
bool m_use_hash;
node_ref mk_node();
node_ref find(node_ref n);