package grenier
A collection of various algorithms in OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
grenier-0.13.tbz
sha256=04831d5c2ea783d4e32b356a8495e5481ce8919aa70f5eecee29baebbf6fa483
sha512=1199122ab70701ecd33bf9c6339a743d163a1ba3ef5d0db189cab6c6712386739031b66002bf48d4740112430a93780f82dc37f56688ee33f99da928186b8205
doc/grenier.state_elimination/State_elimination/Convert/argument-2-NFA/index.html
Parameter Convert.NFA
module States : Strong.Natural.Tmodule Transitions : Strong.Natural.Tval label : Transitions.n Strong.Finite.elt -> Regex.tval source : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.eltval target : Transitions.n Strong.Finite.elt -> States.n Strong.Finite.eltmodule Initials :
Strong.Finite.Array.T with type a = States.n Strong.Finite.eltmodule Finals : Strong.Finite.Array.T with type a = States.n Strong.Finite.elt