Module nfatools
Functions
all_selections
collect_symbols
cyclefree_traces
expanded_transitions
first_set
flatten_list
is_token
keywords
last_set
lexnfa2regex
reachables
reduced_nfa
span_traces
symbols
terminal_ancestors
terminals
[
hide private
]