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

Class StringSearcher

  • public class StringSearcher
extends java.lang.Object
    An algorithm that searches strings across all paths of an automaton.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Set<java.util.Vector<it.unive.lisa.util.datastructures.automaton.Transition<it.unive.lisa.util.datastructures.regex.RegularExpression>>> searchInAllPaths​(java.lang.String toSearch)
      Yields a set containing all the sequences of transitions that recognize the given string.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • StringSearcher

        public StringSearcher​(RegexAutomaton origin)
        Builds the searcher. For this algorithm to work correctly, the automaton passed as parameter must be first exploded with a call to RegexAutomaton.explode().
        Parameters:
        origin - the target automaton

    • Method Detail

      • searchInAllPaths

        public java.util.Set<java.util.Vector<it.unive.lisa.util.datastructures.automaton.Transition<it.unive.lisa.util.datastructures.regex.RegularExpression>>> searchInAllPaths​(java.lang.String toSearch)
        Yields a set containing all the sequences of transitions that recognize the given string.
        Parameters:
        toSearch - the string to search
        Returns:
        the set of sequences of transitions