← Back to branch summary

~ubuntu-branches/ubuntu/jaunty/menhir/jaunty

« back to all changes in this revision

Viewing changes to lr0.mli

  • Committer: Bazaar Package Importer
  • Author(s): Samuel Mimram
  • Date: 2007-09-08 01:30:14 UTC
  • mfrom: (1.1.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20070908013014-1z97ja9hj22adn32
Tags: 20070520-2
Rebuild with OCaml 3.10.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lr0.mli
70
70
(* Information about the transitions and reductions at a state. *)
71
71
 
72
72
val transitions: lr1state -> lr1state SymbolMap.t
 
73
val outgoing_symbols: node -> Symbol.t list
 
74
val transition: Symbol.t -> lr1state -> lr1state
73
75
 
74
76
val reductions: lr1state -> (TerminalSet.t * Production.index) list
75
77
 
105
107
 
106
108
val restrict: TerminalSet.t -> lr1state -> lr1state
107
109
 
108
 
(* Displaying a state. Only the kernel is displayed, not the
109
 
   closure. *)
 
110
(* Displaying a concrete state. *)
 
111
 
 
112
val print_concrete: concretelr1state -> string
 
113
 
 
114
(* Displaying a state. By default, only the kernel is displayed, not
 
115
   the closure. *)
110
116
 
111
117
val print: lr1state -> string
 
118
val print_closure: lr1state -> string
112
119