Data structures used in camomile

IMap, ISet

IMap and ISet are Map and Set over integer. The internal structure uses Diet, so a set which contains large intervals and a map which has constant values on large intervals are efficiently represented. Interfaces are similar to the Map and Set in stdlib. Both modules depend on the AvlTree module.

Integers are treated as unsigned int, that is, the sign bit is treated as a normal bit. If it is not desirable, you may want to remove re-definition of operators in the beginning of iMap.ml and iSet.ml.

  1. AvlTree: avlTree.mli, avlTree.ml
  2. IMap: iMap.mli, iMap.ml
  3. ISet: iSet.mli, iSet.ml

[Camomile Home]
The author
Last modified: Mon Jul 14 15:10:06 JST 2003