reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1807 return bset_from_bmap(add_constraints(bset_to_bmap(bset1), 1849 ext = add_constraints(ext, base, 0, 0); 3492 bmap = add_constraints(bmap, bmap_domain, 0, 0); 3542 bmap = add_constraints(bmap, bmap_range, 0, 0); 3636 bmap1 = add_constraints(bmap1, bmap2, 0, 0);