NFA (p.lrgrep.0.3.doc.kernel.Kernel.Automata.NFA)

Sourcetype ('g, 'r) t = {

uid : int;
k : 'g Regexp.K.t;
transitions : ('g Regexp.Label.t * ('g, 'r) t lazy_t) list;
branch : ('g, 'r) Spec.branch Fix.Indexing.index;
mutable mark : unit Stdlib.ref;

}

Sourceval is_accepting : ('a, 'b) t -> bool

val dump : 
  'a Kernel__Info.grammar ->
  ?only_forced:bool ->
  ('a, 'b) t ->
  Stdlib.out_channel ->
  unit

Sourceval compare : ('a, 'b) t -> ('c, 'd) t -> int

Sourceval default_mark : unit Stdlib.ref

Sourceval uid : unit -> int

Source

val make : 
  'g Info.grammar ->
  'g Redgraph.graph ->
  ('g, 'a) Spec.branch Fix.Indexing.index ->
  'g Regexp.K.t ->
  ('g, 'a) t

Source

val from_branches : 
  'a Info.grammar ->
  'a Redgraph.graph ->
  ('a, 'b) Spec.branches ->
  (('a, 'b) Spec.branch, ('a, 'b) t) Fix.Indexing.Vector.t