Up – Package index » grenier » Library grenier.valmari » Valmari » Minimize » DFA

Parameter `Minimize.DFA`

module States : Finite.Set

module Transitions : Finite.Set

module Label : Map.OrderedType

val label : Transitions.t Finite.element -> Label.t

val source : Transitions.t Finite.element -> States.t Finite.element

val target : Transitions.t Finite.element -> States.t Finite.element

val initial_state : States.t Finite.element

module Final : Finite.Map with type codomain = States.t Finite.element