Add missing convert

JuliaConstraints · Aug 24, 2024 · fd75bf7 · fd75bf7
1 parent c3f1803
commit fd75bf7
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/constraints/all_different.jl b/src/constraints/all_different.jl
@@ -42,6 +42,16 @@ function Base.convert(
     return MOIAllDifferent(T[], MOI.dimension(set))
 end
 
+function Base.convert(
+    ::Type{MOI.AllDifferent},
+    set::MOIAllDifferent,
+)
+    if !isempty(set.vals)
+        throw(InexactError(:convert, MOI.AllDifferent, set))
+    end
+    return MOI.AllDifferent(MOI.dimension(set))
+end
+
 """
 Global constraint ensuring that all the values of a given configuration are unique.