Minimize_with_custom_decomposition (p.lrgrep.0.3.doc.valmari.Valmari.Minimize_with_custom

Parameters

module In : sig ... end

include DFA with type label = In.label

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 = In.label

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