package grenier

  1. Overview
  2. Docs
package grenier
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

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

Signature

include DFA with type label = Label.t
type states

The set of DFA nodes

type transitions
val transitions : transitions Strong.Finite.set

The set of DFA transitions

type label = Label.t

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

val initials : states Strong.Finite.elt array
val 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