Commit f337c589 authored by POTTIER Francois's avatar POTTIER Francois

Rename the module [Number] to [GraphNumbering].

parent df7dc515
......@@ -9,10 +9,13 @@
which not only returns a memoized function,
but also provides outside access to the memoization table.
* New signature `ONGOING_NUMBERING`
and new module `Numbering`,
which provides facilities for numbering things.
* Breaking change: the module `Fix.Number`
is renamed `Fix.GraphNumbering`.
## 2018/11/30
* New release, including new modules (`Gensym`, `Memoize`,
......@@ -25,13 +25,13 @@ This gives you access to the following submodules:
at every point in its domain, so as to obtain an equivalent
function that can be queried in constant time.
* [`Number`](src/Number.mli) offers a facility for
**discovering and numbering the reachable vertices** in a directed graph.
* [`Numbering`](src/Numbering.mli) offers a facility for
**assigning a unique number** to each value in a certain finite set
and translating (both ways) between values and their numbers.
* [`GraphNumbering`](src/GraphNumbering.mli) offers a facility for
**discovering and numbering the reachable vertices** in a finite directed graph.
* [`HashCons`](src/HashCons.mli) offers support for
**setting up a hash-consed data type**, that is, a data type whose
values carry unique integer identifiers.
......@@ -430,7 +430,7 @@ let dfa (e : regexp) : dfa =
let foreach_root yield =
if nonempty e then yield e
end in
let module N = Number.ForHashedType(R)(G) in
let module N = GraphNumbering.ForHashedType(R)(G) in
(* We have [n] states which are mapped to nonempty expressions by [decode]. *)
let n, decode = N.n, N.decode in
(* A nonempty expression is represented by a state,
......@@ -25,8 +25,8 @@ include Sigs
module Glue = Glue
module Memoize = Memoize
module Number = Number
module Numbering = Numbering
module GraphNumbering = GraphNumbering
module Tabulate = Tabulate
module Gensym = Gensym
module HashCons = HashCons
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment