mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 05:18:44 +00:00
Code Activity

Expose insert_if_not_there_core method in map class

Browse source 
Signed-off-by: Henning Günther <t-hennig@microsoft.com>
This commit is contained in:
Henning Günther 2015-05-20 14:33:46 +01:00
parent ccc1f02216
commit 33ddf0bcdf
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/map.h
View file

@ -108,6 +108,10 @@ public:
m_table.insert(key_data(k, v));
}
bool insert_if_not_there_core(key const & k, value const & v, entry *& et) {
return m_table.insert_if_not_there_core(key_data(k,v), et);
}
key_data const & insert_if_not_there(key const & k, value const & v) {
return m_table.insert_if_not_there(key_data(k, v));
}