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

Package Hierarchies:

Class Hierarchy

  • java.lang.Object
    • it.unive.lisa.analysis.string.CharInclusion (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
    • it.unive.lisa.analysis.string.Prefix (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
    • it.unive.lisa.analysis.string.Suffix (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)

Interface Hierarchy