reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
6374 auto res = isl_basic_set_empty(space.release());