Class Hierarchy
- java.lang.Object
- it.unive.lisa.analysis.string.bricks.Brick (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
- it.unive.lisa.analysis.string.bricks.Bricks (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)