package lrgrep

  1. Overview
  2. Docs

Module Automata.NFASource

Sourcetype ('g, 'r) t = {
  1. uid : int;
  2. k : 'g Regexp.K.t;
  3. transitions : ('g Regexp.Label.t * ('g, 'r) t lazy_t) list;
  4. branch : ('g, 'r) Spec.branch Fix.Indexing.index;
  5. mutable mark : unit Stdlib.ref;
}
Sourceval is_accepting : ('a, 'b) t -> bool
Sourceval dump : 'a Kernel__Info.grammar -> ?only_forced:??? -> ('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
Sourceval make : 'g Info.grammar -> 'g Redgraph.graph -> ('g, 'a) Spec.branch Fix.Indexing.index -> 'g Regexp.K.t -> ('g, 'a) t
Sourceval from_branches : 'a Info.grammar -> 'a Redgraph.graph -> ('a, 'b) Spec.branches -> (('a, 'b) Spec.branch, ('a, 'b) t) Fix.Indexing.Vector.t