Module Automata.DataflowSource

Sourcetype 'n _var_classes = {
  1. domain : 'n Fix.Indexing.cardinal;
  2. mutable classes : 'n var Utils.Misc.indexset list;
}
Sourcetype var_classes =
  1. | V : 'n _var_classes -> var_classes
Sourcetype ('g, 'r, 'dfa) t = {
  1. pairings : ('dfa, (('g, 'r) Spec.branch Fix.Indexing.index * chain) list list) Fix.Indexing.vector;
  2. accepts : ('dfa, (('g, 'r) Spec.branch Fix.Indexing.index * priority) list) Fix.Indexing.vector;
  3. liveness : ('dfa, Regexp.Capture.set array) Fix.Indexing.vector;
  4. defined : ('dfa, Regexp.Capture.set array) Fix.Indexing.vector;
  5. classes : ('dfa, var_classes) Fix.Indexing.vector;
  6. registers : ('dfa, Lrgrep_support.Register.t Regexp.Capture.map array) Fix.Indexing.vector;
  7. register_count : int;
  8. accepted_before : ('dfa, ('g, 'r) Spec.branch Utils.Misc.indexset) Fix.Indexing.vector;
}
Sourceval liveness : ('g, 'r, 'dfa) t -> ('g, 'r, 'dfa, 'n) DFA.state -> ('n, Regexp.Capture.set) Fix.Indexing.Vector.t
Sourceval defined : ('g, 'r, 'dfa) t -> ('g, 'r, 'dfa, 'n) DFA.state -> ('n, Regexp.Capture.set) Fix.Indexing.Vector.t
Sourceval registers : ('g, 'r, 'dfa) t -> ('g, 'r, 'dfa, 'n) DFA.state -> ('n, Lrgrep_support.Register.t Regexp.Capture.map) Fix.Indexing.Vector.t
Sourceval classes : ('g, 'r, 'dfa) t -> ('g, 'r, 'dfa, 'n) DFA.state -> 'n var Utils.Misc.indexset list
Sourcetype ('g, 'r, 'dfa, 'tgt) rev_mapping =
  1. | Rev_mapping : ('g, 'r, 'dfa, 'src) DFA.state * ('src, 'tgt) DFA.mapping -> ('g, 'r, 'dfa, 'tgt) rev_mapping
Sourcetype ('g, 'r, 'dfa) packed_rev_mapping =
  1. | Rev_packed : ('g, 'r, 'dfa, 'n) rev_mapping list -> ('g, 'r, 'dfa) packed_rev_mapping
Sourceval dump : 'a Kernel__Info.grammar -> ('a, 'b, 'c) DFA.t -> ('a, 'b, 'c) t -> Stdlib.out_channel -> unit
Sourceval reverse_transitions : ('a, 'b, 'c) DFA.t -> ('c, ('a, 'b, 'c) packed_rev_mapping) Fix.Indexing.Vector.t
Sourceval make : ('g, 'r) Spec.branches -> ('g, 'r, 'dfa) DFA.t -> ('g, 'r, 'dfa) t