Package it.unive.lisa.analysis.string.bricks

Class Summary

Class	Description
Brick	The brick string abstract domain.
Bricks	The bricks string abstract domain.