changeset 1989:77ff0a2acbe5 feature/grids/parameter_spaces/in

Add Base.in for Interval
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 23 Apr 2025 15:27:42 +0200
parents 5d34b88e5733
children 8cf1764ba124
files src/Grids/parameter_space.jl test/Grids/parameter_space_test.jl
diffstat 2 files changed, 9 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
diff -r 5d34b88e5733 -r 77ff0a2acbe5 src/Grids/parameter_space.jl
--- a/src/Grids/parameter_space.jl	Wed Feb 26 23:57:35 2025 +0100
+++ b/src/Grids/parameter_space.jl	Wed Apr 23 15:27:42 2025 +0200
@@ -47,6 +47,8 @@
 
 boundary_identifiers(::Interval) = (LowerBoundary(), UpperBoundary())
 
+Base.in(x, i::Interval) = i.a <= x <= i.b
+
 """
     unitinterval(T=Float64)
 
diff -r 5d34b88e5733 -r 77ff0a2acbe5 test/Grids/parameter_space_test.jl
--- a/test/Grids/parameter_space_test.jl	Wed Feb 26 23:57:35 2025 +0100
+++ b/test/Grids/parameter_space_test.jl	Wed Apr 23 15:27:42 2025 +0200
@@ -22,6 +22,13 @@
     @test limits(unitinterval(Int)) == (0,1)
 
     @test boundary_identifiers(unitinterval()) == (LowerBoundary(), UpperBoundary())
+
+    @test 0 ∈ Interval(0,1)
+    @test 0. ∈ Interval(0,1)
+    @test 1. ∈ Interval(0,1)
+    @test 2 ∉ Interval(0,1)
+    @test -1 ∉ Interval(0,1)
+    @test -1. ∉ Interval(0,1)
 end
 
 @testset "HyperBox" begin