reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2453 ineq = extract_ineq(bset); 2454 return uset_gist_full(bset, ineq, context);