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] |