package cfg

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Pretty-printing functions for BNF-grammars

val pp_prod : Format.formatter -> Cfg.Bnf_spec.Bnf.Spec.symbol list -> unit

pp_prod ppf syms prettyprint symbols list syms using prettyprinter ppf.

val pp_live_prods : Format.formatter -> int Bnf_spec.Bnf.ProdMap.t -> unit

pp_live_prods ppf syms prettyprint live production map pm using prettyprinter ppf.

val pp_nt : Format.formatter -> string -> Bnf_spec.Bnf.ProdSet.t -> unit

pp_nt ppf nt ps prettyprint nonterminal nt and its production set ps using prettyprinter ppf.

val pp_live_nt : 
  Format.formatter ->
  string ->
  (int * int Bnf_spec.Bnf.ProdMap.t) ->
  unit

pp_nt ppf nt di prettyprint live nonterminal nt and its derivation information di using prettyprinter ppf.

val pp_nt_map : 
  Format.formatter ->
  Bnf_spec.Bnf.ProdSet.t Bnf_spec.Bnf.NTMap.t ->
  unit

pp_nt_map ppf nts prettyprint map of nonterminals nts using prettyprinter ppf.

val pp_live_nts : 
  Format.formatter ->
  (int * int Bnf_spec.Bnf.ProdMap.t) Bnf_spec.Bnf.NTMap.t ->
  unit

pp_live_nts ppf nt_di prettyprint map of nonterminal derivation information nt_di using prettyprinter ppf.

val pp_ts : Format.formatter -> Bnf_spec.Bnf.TSet.t -> unit

pp_ts ppf ts prettyprint set of terminals ts using prettyprinter ppf.

val pp_nts : Format.formatter -> Bnf_spec.Bnf.NTSet.t -> unit

pp_nts ppf nts prettyprint set of nonterminals nts using prettyprinter ppf.

val pp_prods : Format.formatter -> Bnf_spec.Bnf.ProdSet.t -> unit

pp_prods ppf prods prettyprint set of productions prods using prettyprinter ppf.