reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2051 Univ = isl::set::universe(Set.get_space()); 2054 (Sign == AS_ASSUMPTION && Univ.is_equal(Set));