Commit 62fb2b76 authored by POTTIER Francois's avatar POTTIER Francois

Expose [nullable_symbol] and [Symbol.lookup].

parent 8bed0846
......@@ -1368,6 +1368,8 @@ module Analysis = struct
let nullable = NULLABLE.nonterminal
let nullable_symbol = NULLABLE.symbol
let first = FIRST.nonterminal
(* An initial definition of [nullable_first_prod]. *)
......
......@@ -252,6 +252,10 @@ module Symbol : sig
| N of Nonterminal.t
| T of Terminal.t
(* [lookup] maps an identifier to a symbol, or raises [Not_found]. *)
val lookup : string -> t
(* Comparison. *)
val equal: t -> t -> bool
......@@ -429,6 +433,7 @@ module Analysis : sig
word [epsilon]. *)
val nullable: Nonterminal.t -> bool
val nullable_symbol: Symbol.t -> bool
(* [first nt] is the FIRST set of the non-terminal symbol [nt]. *)
......
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