Topify definition

Topify means that it associates the abstract value (the least precise element of the abstract domain) to a concrete element (here, predicates).‌
View Source