lrgrep

API

Library bit_lib

• Bit_lib

Library fix

• Fix

Library front

• Front

Library kernel

• Kernel

Library lrgrep.internal

No module.

Library lrgrep.runtime

• Lrgrep_runtime The Runtime library is used by the generated programs. It defines a compact representation for the automaton in the form of simple bytecoded instructions and a sparse index.

Library lrgrep.top

• Lrgrep_top

Library lrijkstra_utils

• Mcop Compute solutions to the Matrix Chain Ordering Problem (MCOP). The problem is to find the association of a chain of matrix multiplications that minimize the number of multiplications.
• Tarjan

Library support

• Lrgrep_support
• Lrgrep_support_packer

Library syntax

• Syntax

Library utils

• Utils

Library valmari

• Valmari Valmari is an automata minimization algorithm, described in "Fast brief practical DFA minimization" https://dl.acm.org/doi/10.1016/j.ipl.2011.12.004