reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
6160 if (!sc) 6168 sc = add_non_conditional_constraints(edge, umap, sc); 6168 sc = add_non_conditional_constraints(edge, umap, sc); 6171 if (!sc || (!is_condition(edge) && !is_conditional_validity(edge))) 6172 return sc; 6184 sc = add_conditional_constraints(edge, umap, sc); 6184 sc = add_conditional_constraints(edge, umap, sc); 6187 return sc;