package mula

  1. Overview
  2. Docs
val add_key : from:NFA.StateSet.t -> dfa:dfa -> dfa
val add_transition : from:NFA.StateSet.t -> BitVec.t -> to_:NFA.StateSet.t -> dfa:dfa -> dfa
type dula_build = {
  1. marked : NFAStateSetSet.t;
  2. unmarked : NFAStateSetSet.t;
  3. k : int;
  4. dfa : dfa;
}
val build_transitions : dula_build -> t:NFA.StateSet.t -> dula_build
val build_dfa : dula_build -> dula_build
val start : NFAStateSetSet.t
val build_dula : k:int -> dula_build
val build_and_print_dula : k:int -> unit