Previous  Up  

Module Automaton.Make.Regexp

module Regexp: Automaton.Regexp(X)
type t =
| Letter of X.t
| Union of t * t
| Empty
| Concat of t * t (*

concatenation

*)
| Singl (*

empty word singleton

*)
| Star of t 
val letter : X.t -> t
val union : t -> t -> t
val empty : t
val concat : t -> t -> t
val star : t -> t
val unions : t list -> t
val to_string : t -> string
val simpl : t -> t
val simpl : t -> t
module Series: Series.Make(Field.Int)
val series : t -> Series.t

Generating series of a regular expression. This expression is assumed to be unambiguous.