&

AtomicStateAutomatonAdapter Automaton BricsAutomaton

++

Box

_InitFinalAutomaton

automata

_ProductAutomaton

automata

_acceptingStates

_InitFinalAutomaton

_id

ComplementedAut PositiveAut

_initialState

_InitFinalAutomaton

_int_to_str

OstrichReducerFactory

_str_++

OstrichStringTheory

_str_cons

OstrichStringTheory

_str_empty

OstrichStringTheory

_str_len

OstrichReducerFactory

_str_to_int

OstrichReducerFactory

_underlying

_InitFinalAutomaton

|

AtomicStateAutomatonAdapter Automaton BricsAutomaton