package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Kernel.ReachabilitySource

This module computes the reachability of states in a parser automaton. It is used to reason about the behavior of an LR(1) automaton after conflict resolution (with some transitions removed). The module implements algorithms for partitioning lookahead symbols with identical behaviors, and uses these partitions to determine the cost of reaching each state with a given lookahead.

Sourcemodule type S = sig ... end
Sourcetype 'g t = (module S with type g = 'g)
Sourcetype ('g, 'cell) t_cell = (module S with type g = 'g and type Cell.n = 'cell)
Sourceval make : 'g Info.grammar -> 'g t