Index of modules


C
Charset
Charsets are just hashsets of integers in the range 0-255

D
Depgraph
We represent systems of constraints as directed usually-acyclic dependency graphs.
Dprle

H
Hashset
Hashsets as a parameterized type using Hashtbl.

I
Interface

L
Languageops
This module defines operations on Depgraph.lang.

N
Nfa
Nondeterministic finite state automata, implemented using explicit Hashtbl representations for delta (transitions that consume a symbol) and epsilon (transitions that do not consume a symbol).

O
Options

S
Solve
This module contains the bulk of the solving code.
StateSet [Nfa]