[map] Add clear(), is_empty(), and get_population()
authorBehdad Esfahbod <behdad@behdad.org>
Wed, 30 May 2018 00:09:17 +0000 (17:09 -0700)
committerBehdad Esfahbod <behdad@behdad.org>
Wed, 30 May 2018 00:09:17 +0000 (17:09 -0700)
commit661e9ae4a55c198eb9fdb2c104979dd55a0fa1f1
tree43d9ef3ecc382c65fd1aafdaff37f9fd6a36226c
parentb6959c33e23b464ddbe5fe98fafc80bbb669189c
[map] Add clear(), is_empty(), and get_population()
src/hb-map-private.hh
src/hb-map.cc
src/hb-map.h