Check if non emtpy domain is loaded already for this array or not */
| 839 | |
| 840 | /** Check if non emtpy domain is loaded already for this array or not */ |
| 841 | inline bool non_empty_domain_computed() { |
| 842 | return opened_array_->non_empty_domain_computed(); |
| 843 | } |
| 844 | |
| 845 | /** |
| 846 | * Returns the non-empty domain of the opened array. If the non_empty_domain |
no outgoing calls
no test coverage detected