| commit | 661e9ae4a55c198eb9fdb2c104979dd55a0fa1f1 | [log] [tgz] |
|---|---|---|
| author | Behdad Esfahbod <[email protected]> | Tue May 29 17:09:17 2018 -0700 |
| committer | Behdad Esfahbod <[email protected]> | Tue May 29 17:09:17 2018 -0700 |
| tree | 43d9ef3ecc382c65fd1aafdaff37f9fd6a36226c | |
| parent | b6959c33e23b464ddbe5fe98fafc80bbb669189c [diff] |
[map] Add clear(), is_empty(), and get_population()