On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package regenerate
Regenerate.Make(W)(S)(A) is a module that implements sample generation for words implemented by the module W with the alphabet A. S describes the data structure used internally for the enumeration of words.
For casual use of the library, consider using arbitrary instead.
Parameters
module Segment : Segments.S with type elt = Word.tSignature
and lang = unit -> nodeA language is a lazy stream of words segmented by growing length.
val pp : Format.formatter -> lang -> unitpp fmt lang pretty print the language lang.
Sampling
val sample :
?st:Random.State.t ->
?n:int ->
?firsts:int ->
skip:int ->
lang ->
(Segment.elt -> unit) ->
ressample ~skip ~n lang returns a sequence of on average n elements. lang is only consumed when needed.
We sample one element every k, where k follows a power law of average skip. Furthermore, if we consume more than sqrt k empty segments, we assume that the rest of the segments will be infinitely empty and stop.
If firsts is provided, we always output the firsts first elements.
Operations on languages
val flatten : lang -> Segment.elt Iter.tflatten lang returns the sequence of its segments.
Regular operations
On This Page