reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
4575 aff = extract_aff_from_equality(bmap, pos, eq, div, ineq, ma);