Lines Matching defs:core
185 (* core: a set of items. It is represented by an ordered list of items.
189 datatype core = CORE of item list * int (* state # *)
193 val gtCore : core * core -> bool
194 val eqCore : core * core -> bool
201 (string -> unit) -> core -> unit
215 nonterminal, the cores that result from shift/gotos from a core,
221 (* shifts: take a core and compute all the cores that result from shifts/gotos
224 shifts : Core.core -> (Grammar.symbol*Core.item list) list,
227 (* epsProds: take a core compute epsilon productions for it *)
229 epsProds : Core.core -> IntGrammar.rule list}
242 val edges : Core.core * graph -> {edge:Grammar.symbol,to:Core.core} list
243 val nodes : graph -> Core.core list
245 val core : graph -> int -> Core.core (* get core for a state *)
253 epsProds: Core.core -> IntGrammar.rule list}
296 epsProds : Core.core -> IntGrammar.rule list,