Update

jump-dev · Nov 1, 2024 · 8be2bd2 · 8be2bd2
1 parent 5cc6fbc
commit 8be2bd2
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/src/MOI_wrapper.jl b/src/MOI_wrapper.jl
@@ -2428,14 +2428,22 @@ function MOI.is_valid(
     model::Optimizer,
     ci::MOI.ConstraintIndex{MOI.VariableIndex,MOI.Integer},
 )
-    return _info(model, ci).type == _TYPE_INTEGER
+    info = get(model.variable_info, MOI.VariableIndex(ci.value), nothing)
+    if info === nothing
+        return false
+    end
+    return info.type == _TYPE_INTEGER
 end
 
 function MOI.is_valid(
     model::Optimizer,
     ci::MOI.ConstraintIndex{MOI.VariableIndex,MOI.ZeroOne},
 )
-    return _info(model, ci).type == _TYPE_BINARY
+    info = get(model.variable_info, MOI.VariableIndex(ci.value), nothing)
+    if info === type
+        return false
+    end
+    return info.bound == _TYPE_BINARY
 end
 
 function MOI.get(