From 17ffd248c39281bc620310118f8e4271fd731b4f Mon Sep 17 00:00:00 2001 From: tomer arnon Date: Tue, 11 Aug 2020 22:31:15 +0300 Subject: [PATCH] use all instead of prod --- src/optimization/iLP.jl | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/optimization/iLP.jl b/src/optimization/iLP.jl index dfa269b4..589f9832 100644 --- a/src/optimization/iLP.jl +++ b/src/optimization/iLP.jl @@ -63,10 +63,12 @@ function solve(solver::ILP, problem::Problem) end function interpret_result(solver::ILP, x, input) - if prod(abs.(x - input.center) .>= input.radius) - return AdversarialResult(:holds, minimum(abs.(x - input.center))) + radius = abs.(x .- center(input)) + + if all(radius .>= radius_hyperrectangle(input)) + return AdversarialResult(:holds, minimum(radius)) else - return AdversarialResult(:violated, minimum(abs.(x - input.center))) + return AdversarialResult(:violated, minimum(radius)) end end