reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
255 assert(!Known.domain().is_subset(Universe).is_false()); 256 assert(!Written.domain().is_subset(Universe).is_false());