Set if the non_empty_domain is computed already for this array or not */
| 959 | |
| 960 | /** Set if the non_empty_domain is computed already for this array or not */ |
| 961 | inline void set_non_empty_domain_computed(const bool is_computed) { |
| 962 | opened_array_->non_empty_domain_computed() = is_computed; |
| 963 | } |
| 964 | |
| 965 | /** Returns the memory tracker. */ |
| 966 | inline shared_ptr<MemoryTracker> memory_tracker() { |
no test coverage detected