diff src/Grids/parameter_space.jl @ 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 449cce897da9
children 8cf1764ba124
line wrap: on
line diff
--- 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)