package lrgrep
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Analyse the stack of a Menhir-generated LR parser using regular expressions
Install
dune-project
Dependency
Authors
Maintainers
Sources
lrgrep-0.3.tbz
sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde
sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55
doc/index.html
lrgrep
API
Library bit_lib
Library fix
Library front
Library kernel
Library lrgrep.internal
No module.
Library lrgrep.interpreter
Library lrgrep.runtime
Lrgrep_runtimeThe 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 lrijkstra_utils
McopCompute 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
Library syntax
Library utils
Library valmari
ValmariValmari is an automata minimization algorithm, described in "Fast brief practical DFA minimization" https://dl.acm.org/doi/10.1016/j.ipl.2011.12.004
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page