mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-02 12:21:21 +00:00
Code Activity

Merge pull request #97 from hguenther/unstable

Browse source 
Expose insert_if_not_there_core method in map class
This commit is contained in:
Nikolaj Bjorner 2015-05-20 09:25:53 -07:00
commit e915d0f67d
1 changed files with 4 additions and 0 deletions
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)); 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) { key_data const & insert_if_not_there(key const & k, value const & v) {
return m_table.insert_if_not_there(key_data(k, v)); return m_table.insert_if_not_there(key_data(k, v));
} }