package grenier

You can search for identifiers within the package.

in-package search v0.2.0

A collection of various algorithms in OCaml

Install

sha256=b08e4c774ef72fc53c4fcee477e739d1beac9702079300daddf51ced9fa9cd26

sha512=984d92c51dac7b3f169cad595969a4fdbeb2be7b420ed1a85618d6adbb64af855cf2618d9bd0834e84d6734b99196944cab04435e1aeacad8cdfbc9a7f73d6d4

include DFA with type label := Label.t

type states

val states : states Strong.Finite.set

type transitions

val transitions : transitions Strong.Finite.set

val label : transitions Strong.Finite.elt -> Label.t

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

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

val initials : states Strong.Finite.elt array

val finals : states Strong.Finite.elt array

val refinements : 
  refine:(iter:((states Strong.Finite.elt -> unit) -> unit) -> unit) ->
  unit