blob: 9ad93050c1d65eabbacfcf303c134a0ebac0307a (
plain)
1
2
3
4
5
6
|
\section{Maps indexed by binary integers : IntMap}\label{IntMap}
This library contains a data structure for finite sets implemented by
an efficient structure of map (trees indexed by binary integers).
It was initially developed by Jean Goubault.
|
