Minimize (p.lrgrep.0.3.doc.valmari.Valmari.Minimize)

Parameters

module Label : Stdlib.Map.OrderedType

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

include DFA with type label = Label.t

Sourcetype states

Sourceval states : states Fix.Indexing.cardinal

The set of DFA nodes

Sourcetype transitions

Sourceval transitions : transitions Fix.Indexing.cardinal

The set of DFA transitions

Sourcetype label = Label.t

The type of labels that annotate transitions

Sourceval label : transitions Fix.Indexing.index -> label

Get the label associated with a transition

Sourceval source : transitions Fix.Indexing.index -> states Fix.Indexing.index

Get the source state of the transition

Sourceval target : transitions Fix.Indexing.index -> states Fix.Indexing.index

Get the target state of the transition

Sourceval initials : states Fix.Indexing.index array

Sourceval finals : states Fix.Indexing.index array

val transport_state : 
  In.states Fix.Indexing.index ->
  states Fix.Indexing.index option

val transport_transition : 
  In.transitions Fix.Indexing.index ->
  transitions Fix.Indexing.index option

Sourceval represent_state : states Fix.Indexing.index -> In.states Fix.Indexing.index

val represent_transition : 
  transitions Fix.Indexing.index ->
  In.transitions Fix.Indexing.index