Minimize (p.grenier.0.12.doc.grenier.valmari.Valmari.Minimize)

Parameters

module Label : Map.OrderedType

module In : INPUT with type label := Label.t

include DFA with type label = Label.t

Sourcetype states

Sourceval states : states Strong.Finite.set

Sourcetype transitions

Sourceval transitions : transitions Strong.Finite.set

Sourcetype label = Label.t

Sourceval label : transitions Strong.Finite.elt -> label

Sourceval source : transitions Strong.Finite.elt -> states Strong.Finite.elt

Sourceval target : transitions Strong.Finite.elt -> states Strong.Finite.elt

Sourceval initials : states Strong.Finite.elt array

Sourceval finals : states Strong.Finite.elt array

val transport_state : 
  In.states Strong.Finite.elt ->
  states Strong.Finite.elt option

val transport_transition : 
  In.transitions Strong.Finite.elt ->
  transitions Strong.Finite.elt option

Sourceval represent_state : states Strong.Finite.elt -> In.states Strong.Finite.elt

val represent_transition : 
  transitions Strong.Finite.elt ->
  In.transitions Strong.Finite.elt