- makeEmpty
Returns a new (deterministic) automaton with the empty language.
- makeString
Returns a new (deterministic) automaton that accepts the single given string
from the specified unic
- makeAnyString
Returns a new (deterministic) automaton that accepts all strings.
- makeChar
Returns a new (deterministic) automaton that accepts a single codepoint of the
given value.
- makeEmptyString
Returns a new (deterministic) automaton that accepts only the empty string.
- makeStringUnion
Returns a new (deterministic and minimal) automaton that accepts the union of
the given collection o
- makeBinaryInterval
Creates a new deterministic, minimal automaton accepting all binary terms in the
specified interval.
- anyOfRightLength
Constructs sub-automaton corresponding to decimal numbers of length
x.substring(n).length().
- atLeast
Constructs sub-automaton corresponding to decimal numbers of value at least
x.substring(n) and lengt
- atMost
Constructs sub-automaton corresponding to decimal numbers of value at most
x.substring(n) and length
- between
Constructs sub-automaton corresponding to decimal numbers of value between
x.substring(n) and y.subs
- makeAnyChar
Returns a new (deterministic) automaton that accepts any single codepoint.