reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
16033 ptr = obj.copy(); 16044 std::swap(this->ptr, obj.ptr); 16044 std::swap(this->ptr, obj.ptr); 16049 if (ptr) 16050 isl_term_free(ptr); 16054 return isl_term_copy(ptr); 16058 return ptr; 16062 isl_term *tmp = ptr; 16063 ptr = nullptr; 16068 return ptr == nullptr; 16076 return ctx(isl_term_get_ctx(ptr));