% minkowski difference calculation

This commit is contained in:
Vovanium 2023-09-07 19:52:21 +03:00
parent d506e994a4
commit 95784f03b2
1 changed files with 1 additions and 1 deletions

View File

@ -107,7 +107,7 @@ package Video.Integer_Geometry with Pure is
-- Translate interval
function "-" (A : Interval; B : Nonempty_Interval) return Interval
is (if Is_Empty (A) then Empty_Interval else (A.First - B.Last, A.Last - B.First));
is (if Is_Empty (A) then Empty_Interval else (A.First - B.First, A.Last - B.Last));
-- Minkowski difference
function "and" (A, B : Interval) return Interval