Remove new file and increase code coverage

src/IntervalArithmetic.jl

@@ -127,7 +127,6 @@ include("plot_recipes/plot_recipes.jl")
 
 include("deprecated.jl")
 
-include("overlap.jl")
 
 """
     Region{T} = Union{Interval{T}, IntervalBox{T}}

src/decorations/functions.jl

@@ -365,3 +365,7 @@ for (f, domain) in restricted_functions2
         DecoratedInterval(r, trv)
     end
 end
+
+function overlap(xx::DecoratedInterval, yy::DecoratedInterval) where T
+    return overlap(interval_part(xx) , interval_part(yy))
+end

src/intervals/functions.jl

@@ -327,3 +327,22 @@ end
 hypot(a::Interval{BigFloat}, b::Interval{BigFloat}) = sqrt(a^2 + b^2)
 
 hypot(a::Interval{T}, b::Interval{T}) where T= atomic(Interval{T}, hypot(big53(a), big53(b)))
+
+function overlap(a::Interval, b::Interval)
+    isempty(a) && isempty(b) && return "bothEmpty"
+    isempty(a) && !isempty(b) && return "firstEmpty"
+    !isempty(a) && isempty(b) && return "secondEmpty"
+    a.hi < b.lo && return "before"
+    a.lo < a.hi && a.hi == b.lo && b.lo < b.hi && return "meets"
+    a.lo < b.lo && b.lo < a.hi && a.hi < b.hi && return "overlaps"
+    a.lo == b.lo && a.hi < b.hi && return "starts"
+    b.lo < a.lo && a.hi < b.hi && return "containedBy"
+    b.lo < a.lo && a.hi == b.hi && return "finishes"
+    a.lo == b.lo && a.hi == b.hi && return "equals"
+    a.lo < b.lo && b.hi == a.hi && return "finishedBy"
+    a.lo < b.lo && b.hi < a.hi && return "contains"
+    b.lo == a.lo && b.hi < a.hi && return "startedBy"
+    b.lo < a.lo && a.lo < b.hi && b.hi < a.hi && return "overlappedBy"
+    b.lo < b.hi && b.hi == a.lo && a.lo < a.hi && return "metBy"
+    b.hi < a.lo && return "after"
+end

test/ITF1788_tests/ITF1788_tests.jl

@@ -10,3 +10,4 @@ include("libieeep1788_tests_rev.jl")
 include("libieeep1788_tests_set.jl")
 include("mpfi.jl")
 include("fi_lib.jl")
+include("libieeep1788_tests_overlap.jl")