package coq-int-map

  1. Overview
  2. No Docs
Maps indexed by binary integers : IntMap

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. J
    Jean Goubault <goubault [@] lsv.ens-cachan.fr>

Maintainers

  1. H
    Hugo.Herbelin@inria.fr

Sources

v8.7.0.tar.gz
md5=82eeb6ae03a21561c9fc508e5638f744

Description

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.

This user contribution used to be part of Coq Standard Library. It is now considered to be obsolete and subsumed by the new FSets/FMap library. IntMap can be now seen as a particular implementation of FMapInterface, see file FMapIntMap.

Tags

keyword: finite sets keyword: maps keyword: binary integers keyword: efficient data structures keyword: data structures category: Computer Science/Data Types and Data Structures date: around 1999 (integrated within Coq 7.0)

Published: 11 Jan 2019

Dependencies (2)

  1. coq >= "8.7" & < "8.8~"
  2. ocaml

Dev Dependencies

None

Used by (4)

  1. coq-bdds = "8.7.0"
  2. coq-graphs = "8.7.0"
  3. coq-smc = "8.7.0"
  4. coq-tree-automata != "8.6.0" & < "8.8.0"

Conflicts

None