All Classes

Class Summary

Class	Description
Atom	A regular expression representing a single string.
Automata	Utility class for managing instances of Automaton.
Automaton	An automaton, represented as a set of states and a set of transitions.
AutomatonString	A string modeled through the Tarsis abstract domain.
AutomatonString.Interval	An interval representing the result of a computation on an AutomatonString.
Comp	A regular expression representing the sequential composition of two regular expressions.
EmptySet	A regular expression representing the empty set of strings.
ExtChar	An extended character, that is, an object that single character.
ExtString	An extended string, that is, a string composed of an array of ExtChar.
IndexFinder	An algorithm that finds all possible indexes of the first occurrences of an automaton into another one.
IterableArray<E>	An iterable over an array of elements.
Or	A regular expression representing an or between two other regular expressions.
PathExtractor	An algorithm that extracts paths from an automaton.
RegexExtractor	An algorithm that extract regular expressions from automata.
RegularExpression	A regular expression that can be recognized by an automaton, or that can be used to represent the language recognized by an automaton.
RegularExpression.PartialSubstring	A class that represents an intermediate result of the computation of RegularExpression.substring(int, int).
SCCs	The SCCs of an automaton, represented as a set of sets of states.
Star	A regular expression representing a loop, repeated an arbitrary number of times, over an inner regular expression.
State	A state of the automaton.
StringReplacer	An algorithm that replaces strings across all paths of an automaton.
StringSearcher	An algorithm that searches strings across all paths of an automaton.
TopAtom	A regular expression representing a sequence of unknown characters of arbitrary length.
TopExtChar	An ExtChar representing an unknown character.
Transition	A transition connecting two states of the automaton.