Export Utilities.num_rows (#1644)

Author: blegat

docs/src/submodules/Utilities/reference.md

@@ -113,6 +113,7 @@ Utilities.set_index
 Utilities.set_types
 Utilities.add_set
 Utilities.rows
+Utilities.num_rows
 Utilities.set_with_dimension
 ```
 

src/Utilities/product_of_sets.jl

@@ -245,7 +245,13 @@ function final_touch(sets::OrderedProductOfSets)
     return
 end
 
-function _num_rows(sets::OrderedProductOfSets, ::Type{S}) where {S}
+"""
+    num_rows(sets::OrderedProductOfSets, ::Type{S}) where {S}
+
+Return the number of rows corresponding to a set of type `S`. That is, it is
+the sum of the dimensions of the sets of type `S`.
+"""
+function num_rows(sets::OrderedProductOfSets, ::Type{S}) where {S}
     i = set_index(sets, S)
     if !sets.final_touch || i == 1
         return sets.num_rows[i]
@@ -259,7 +265,7 @@ function MOI.get(
 ) where {T}
     return Tuple{Type,Type}[
         (_affine_function_type(T, S), S) for
-        S in set_types(sets) if _num_rows(sets, S) > 0
+        S in set_types(sets) if num_rows(sets, S) > 0
     ]
 end
 
@@ -312,7 +318,7 @@ function _range_iterator(
     if i === nothing || F != _affine_function_type(T, S)
         return
     end
-    return _range_iterator(sets, i, 1, _num_rows(sets, S), F)
+    return _range_iterator(sets, i, 1, num_rows(sets, S), F)
 end
 
 _length(::Nothing) = 0

test/Utilities/product_of_sets.jl

@@ -168,6 +168,9 @@ function test_vector_basic()
     equalto_ci = MOI.ConstraintIndex{SAF,MOI.EqualTo{Float64}}(equalto_i)
     @test MOI.is_valid(sets, equalto_ci)
     @test MOI.Utilities.rows(sets, equalto_ci) == 3
+    @test MOI.Utilities.num_rows(sets, MOI.Nonnegatives) == 2
+    @test MOI.Utilities.num_rows(sets, MOI.EqualTo{Float64}) == 1
+    @test MOI.Utilities.num_rows(sets, MOI.Nonpositives) == 0
 end
 
 function test_vector_dimension()