reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4162 filter = replace_by_universe_if_disjoint(filter, domain); 4233 graft_domain = replace_by_universe_if_disjoint(graft_domain,