package grenier

  1. Overview
  2. Docs
A collection of various algorithms in OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (7)

Authors

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Maintainers

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Sources

grenier-0.17.tbz
sha256=adce547fae9b5648d902d91173bb787466a197f81610b76757424ab33980e625
sha512=dccce42254660831fbd45129718ce01d2a4fcf10d05fa40f10eb3be4e5c94300af7235cc88c76b2e5aff7a02b8a1e8e6150d2d3376d8b630911d1dc6247b7df6

doc/grenier.valmari/Valmari/module-type-DFA/index.html

Module type Valmari.DFASource

Sourcetype states

The set of DFA nodes

Sourcetype transitions

The set of DFA transitions

Sourcetype 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