Skip to content

Commit

Permalink
use all instead of prod
Browse files Browse the repository at this point in the history
  • Loading branch information
tomerarnon committed Aug 11, 2020
1 parent ce23cb6 commit 17ffd24
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions src/optimization/iLP.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 17ffd24

Please sign in to comment.