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.10.0.tar.gz
md5=50d95918958e64bc04b49a9aba2774bb

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: 07 Dec 2019

Dependencies (2)

  1. coq >= "8.10" & < "8.11~"
  2. ocaml

Dev Dependencies

None

Used by (4)

  1. coq-bdds >= "8.10.0"
  2. coq-graphs >= "8.10.0"
  3. coq-smc >= "8.10.0"
  4. coq-tree-automata < "8.6.0" | >= "8.10.0"

Conflicts

None