Closed karelklic closed 11 years ago
Set is more widely used and more understandable name for our Enumeration abstract domain.
Set is more widely used and more understandable name for our Enumeration abstract domain.