use API functions instead of accessing fields

JuliaReach · Nov 29, 2024 · fe9fb94 · fe9fb94
1 parent a6cd733
commit fe9fb94
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/branchandbound.jl b/src/branchandbound.jl
@@ -30,8 +30,8 @@ end
 
 function _monotonicity_check(f::Function, X::Interval, dfX::Interval)
     if inf(dfX) >= 0 || sup(dfX) <= 0  # monotone function, evaluate at extrema
-        lo = interval(X.lo)
-        hi = interval(X.hi)
+        lo = interval(inf(X))
+        hi = interval(sup(X))
         return hull(f(lo), f(hi)), true
     end