Package it.unive.lisa.analysis.string.tarsis

Class Summary

Class	Description
IndexFinder	An algorithm that finds all possible indexes of the first occurrences of an automaton into another one.
RegexAutomaton	A class that describes an generic automaton(dfa, nfa, epsilon nfa) using an alphabet of strings, extended with a special symbol for statically unknown ones.
StringReplacer	An algorithm that replaces strings across all paths of an automaton.
StringSearcher	An algorithm that searches strings across all paths of an automaton.
Tarsis	A class that represent the Tarsis domain for strings, exploiting a RegexAutomaton.