Hierarchy For Package it.unive.lisa.analysis.string.fsa

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.util.datastructures.automaton.Automaton<A,T> (implements it.unive.lisa.util.datastructures.automaton.AutomataFactory<A,T>)
    • it.unive.lisa.analysis.string.fsa.SimpleAutomaton
  • it.unive.lisa.analysis.string.fsa.FSA (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
  • it.unive.lisa.analysis.string.fsa.StringSymbol (implements it.unive.lisa.util.datastructures.automaton.TransitionSymbol<T>)