Module Matcher.MakeSource

Parameters

module St : S
module NFA : NFA_t

Signature

Sourcemodule GBV : sig ... end
Sourcetype nfa_state = {
  1. nfa : NFA.StateSet.t option;
  2. k : int;
  3. str : St.t;
  4. str_len : int;
  5. fed_so_far : int;
}
Sourceval start : k:int -> str:St.t -> nfa_state
Sourceval feed : nfa_state -> ch:St.ch -> nfa_state
Sourceval current_error : nfa_state -> int option
Sourceval end_input : nfa_state -> int option
Sourceval feed_str : nfa_state -> str:St.t -> nfa_state
Sourceval get_distance : k:int -> St.t -> St.t -> int option