reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2027 if (Context.is_subset(Set)) 2030 if (AssumedContext.is_subset(Set)) 2033 if (Set.is_disjoint(Context)) 2036 if (Set.is_subset(InvalidContext))