package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Valmari.Minimize_with_custom_decompositionSource

Parameters

module In : sig ... end

Signature

include DFA with type label = In.label
Sourcetype states

The set of DFA nodes

Sourcetype transitions

The set of DFA transitions

Sourcetype label = In.label

The type of labels that annotate transitions

Get the label associated with a transition

Get the source state of the transition

Get the target state of the transition

Sourceval initials : states Fix.Indexing.index array
Sourceval finals : states Fix.Indexing.index array