Commit ce38cd7d authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Published [minimal_symbol].

parent b0775274
......@@ -1254,6 +1254,7 @@ module Analysis = struct
let follow = follow
let minimal_symbol = MINIMAL.symbol
let minimal_prod = MINIMAL.production
end
......
......@@ -401,8 +401,13 @@ module Analysis : sig
val follow: Nonterminal.t -> TerminalSet.t
(* [minimal_symbol sym] is the minimal length of a word generated by
the symbol [sym]. *)
val minimal_symbol: Symbol.t -> Terminal.t CompletedNatWitness.t
(* [minimal_prod prod i] is the minimal length of a word generated
by by [prod/i], i.e., the suffix of production [prod] defined by
by [prod/i], i.e., the suffix of production [prod] defined by
offset [i]. *)
val minimal_prod: Production.index -> int -> Terminal.t CompletedNatWitness.t
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment