Returns an automaton that differs from this automaton by
switching accepted and rejected inputs.
Returns an automaton that accepts only a given input code point and
then behaves like a given automaton.
Returns an automaton that accepts only a given sequence of input code
point and then behaves like a given automaton.
Returns an automaton that accepts any one of some given input
code points and then behaves like a given automaton.
Returns an automaton that accepts any one except some given input
code points and then behaves like a given automaton.
Returns an automaton that is equivalent to this automaton, but
uses a set of fresh states.
Returns an automaton that is equivalent to this automaton, but
uses fresh states as required.
Returns an automaton that accepts no input.
Returns an automaton that differs from this automaton by having
each label value expanded into a subautomaton.
Returns the accepting automaton that implements this fragment.
Returns the automaton that implements the syntax fragment of
this rule.
Returns an automaton that differs from this automaton by
restarting from every accepting state.
Returns an automaton that differs from this automaton by
restarting every state with a selected value.
Returns an automaton that differs from this automaton by having
a function applied to all values.
Returns a nondeterministic automaton that is equivalent to this
automaton.
Returns an automaton that accepts an input of length zero with
the given value.
Returns an automaton that combines the successful transitions
and value sets of this and another automaton.
Returns an automaton that combines the successful transitions
and value sets of the given automata.
Returns an automaton that accepts only a given input code point and
then behaves like a given automaton.
Returns an automaton that accepts only a given sequence of input code
point and then behaves like a given automaton.
Returns an automaton that accepts any one of some given input
code points and then behaves like a given automaton.
Returns an automaton that accepts any one except some given input
code points and then behaves like a given automaton.
Returns an automaton that combines the successful transitions
and value sets of this and another automaton.