Merge pull request #4081 from JuliaReach/schillic/in

Rename `∈` to `in`

Author: schillic

docs/src/lib/API.md

@@ -65,7 +65,7 @@ volume(::LazySet)
 affine_map(::AbstractMatrix, ::LazySet, ::AbstractVector)
 distance(::AbstractVector, ::LazySet)
 exponential_map(::AbstractMatrix, ::LazySet)
-∈(::AbstractVector, ::LazySet)
+in(::AbstractVector, ::LazySet)
 is_interior_point(::AbstractVector, ::LazySet)
 linear_map(::AbstractMatrix, ::LazySet)
 permute(::LazySet, ::AbstractVector{Int})

docs/src/lib/interfaces/AbstractAffineMap.md

@@ -101,13 +101,13 @@ isuniversal(::AbstractAffineMap)
 CurrentModule = LazySets.API
 ```
 ```@docs; canonical=false
-∈(::AbstractVector, ::LazySet)
+in(::AbstractVector, ::LazySet)
 ```
 ```@meta
 CurrentModule = LazySets
 ```
 ```@docs
-∈(::AbstractVector, ::AbstractAffineMap)
+in(::AbstractVector, ::AbstractAffineMap)
 ```
 ```@meta
 CurrentModule = LazySets.API

docs/src/lib/interfaces/AbstractBallp.md

@@ -28,13 +28,13 @@ This interface defines the following functions:
 CurrentModule = LazySets.API
 ```
 ```@docs; canonical=false
-∈(::AbstractVector, ::LazySet)
+in(::AbstractVector, ::LazySet)
 ```
 ```@meta
 CurrentModule = LazySets
 ```
 ```@docs
-∈(::AbstractVector, ::AbstractBallp)
+in(::AbstractVector, ::AbstractBallp)
 ```
 ```@meta
 CurrentModule = LazySets.API

docs/src/lib/interfaces/AbstractCentrallySymmetricPolytope.md

@@ -109,7 +109,7 @@ Inherited from [`AbstractPolyhedron`](@ref):
 * [`ispolyhedraltype`](@ref ispolyhedraltype(::Type{AbstractPolyhedron}))
 * [`low`](@ref low(::AbstractPolyhedron))
 * [`low`](@ref low(::AbstractPolyhedron, ::Int))
-* [`∈`](@ref ∈(::AbstractVector, ::AbstractPolyhedron))
+* [`in`](@ref in(::AbstractVector, ::AbstractPolyhedron))
 * [`project`](@ref project(::AbstractPolyhedron, ::AbstractVector{Int}))
 * [`intersection`](@ref intersection(::AbstractPolyhedron{N}, ::AbstractPolyhedron{N}) where {N})
 * [`isdisjoint`](@ref isdisjoint(::AbstractPolyhedron, ::AbstractPolyhedron))

docs/src/lib/interfaces/AbstractHPolygon.md

@@ -29,7 +29,7 @@ tovrep(::AbstractHPolygon)
 vertices_list(::AbstractHPolygon)
 addconstraint!(::AbstractHPolygon, ::HalfSpace)
 addconstraint!(::Vector{<:HalfSpace}, ::HalfSpace)
-∈(::AbstractVector, ::AbstractHPolygon)
+in(::AbstractVector, ::AbstractHPolygon)
 isredundant(::HalfSpace, ::HalfSpace, ::HalfSpace)
 ```
 

docs/src/lib/interfaces/AbstractHyperrectangle.md

@@ -120,13 +120,13 @@ volume(::AbstractHyperrectangle)
 CurrentModule = LazySets.API
 ```
 ```@docs; canonical=false
-∈(::AbstractVector, ::LazySet)
+in(::AbstractVector, ::LazySet)
 ```
 ```@meta
 CurrentModule = LazySets
 ```
 ```@docs
-∈(::AbstractVector, ::AbstractHyperrectangle)
+in(::AbstractVector, ::AbstractHyperrectangle)
 split(::AbstractHyperrectangle, ::AbstractVector{Int})
 ```
 ```@meta

docs/src/lib/interfaces/AbstractPolygon.md

@@ -85,7 +85,7 @@ Inherited from [`AbstractPolyhedron`](@ref):
 * [`ispolyhedraltype`](@ref ispolyhedraltype(::Type{AbstractPolyhedron}))
 * [`low`](@ref low(::AbstractPolyhedron))
 * [`low`](@ref low(::AbstractPolyhedron, ::Int))
-* [`∈`](@ref ∈(::AbstractVector, ::AbstractPolyhedron))
+* [`in`](@ref in(::AbstractVector, ::AbstractPolyhedron))
 * [`project`](@ref project(::AbstractPolyhedron, ::AbstractVector{Int}))
 * [`isdisjoint`](@ref isdisjoint(::AbstractPolyhedron, ::AbstractPolyhedron))
 

docs/src/lib/interfaces/AbstractPolyhedron.md

@@ -52,13 +52,13 @@ vertices_list(::AbstractPolyhedron)
 CurrentModule = LazySets.API
 ```
 ```@docs; canonical=false
-∈(::AbstractVector, ::LazySet)
+in(::AbstractVector, ::LazySet)
 ```
 ```@meta
 CurrentModule = LazySets
 ```
 ```@docs
-∈(::AbstractVector, ::AbstractPolyhedron)
+in(::AbstractVector, ::AbstractPolyhedron)
 project(::AbstractPolyhedron, ::AbstractVector{Int})
 intersection(::AbstractPolyhedron{N}, ::AbstractPolyhedron{N}) where {N}
 minkowski_sum(::AbstractPolyhedron, ::AbstractPolyhedron)

docs/src/lib/interfaces/AbstractPolytope.md

@@ -145,7 +145,7 @@ Inherited from [`AbstractPolyhedron`](@ref):
 * [`ispolyhedraltype`](@ref ispolyhedraltype(::Type{AbstractPolyhedron}))
 * [`low`](@ref low(::AbstractPolyhedron))
 * [`low`](@ref low(::AbstractPolyhedron, ::Int))
-* [`∈`](@ref ∈(::AbstractVector, ::AbstractPolyhedron))
+* [`in`](@ref in(::AbstractVector, ::AbstractPolyhedron))
 * [`project`](@ref project(::AbstractPolyhedron, ::AbstractVector{Int}))
 * [`intersection`](@ref intersection(::AbstractPolyhedron{N}, ::AbstractPolyhedron{N}) where {N})
 * [`isdisjoint`](@ref isdisjoint(::AbstractPolyhedron, ::AbstractPolyhedron))

docs/src/lib/interfaces/AbstractSingleton.md

@@ -42,13 +42,13 @@ reflect(::AbstractSingleton)
 CurrentModule = LazySets.API
 ```
 ```@docs; canonical=false
-∈(::AbstractVector, ::LazySet)
+in(::AbstractVector, ::LazySet)
 ```
 ```@meta
 CurrentModule = LazySets
 ```
 ```@docs
-∈(::AbstractVector, ::AbstractSingleton)
+in(::AbstractVector, ::AbstractSingleton)
 ```
 ```@meta
 CurrentModule = LazySets.API