reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
3341 outer_disjunction = has_pure_outer_disjunction(domain, build);