mula.internal
DFA.DFA
mula
type dfa = NFA.StateSet.t Transitions.t NFAStateSetMap.t
val add_transition : from:NFA.StateSet.t -> BitVec.t -> to_:NFA.StateSet.t -> dfa:dfa -> dfa
type dula_build = {
marked : NFAStateSetSet.t;
unmarked : NFAStateSetSet.t;
k : int;
dfa : dfa;
}
val build_transitions : dula_build -> t:Stdlib__Set.Make(Internal__NFA.State).t -> dula_build
val build_dfa : dula_build -> dula_build
val start : NFAStateSetSet.t
val build_dula : k:int -> dula_build