Merge pull request #3577 from JuliaReach/schillic/Line2D

Outsource `Line2D` to its own module
JuliaReach · Jul 12, 2024 · f16e384 · f16e384
2 parents b9a4504 + ef87eee
commit f16e384
Show file tree

Hide file tree

Showing 22 changed files with 483 additions and 430 deletions.
diff --git a/docs/src/lib/sets/Line2D.md b/docs/src/lib/sets/Line2D.md
@@ -6,27 +6,37 @@ CurrentModule = LazySets
 
 ```@docs
 Line2D
-dim(::Line2D)
-σ(::AbstractVector, ::Line2D)
-∈(::AbstractVector, ::Line2D)
+```
+
+## Operations
+
+```@docs
 an_element(::Line2D)
-rand(::Type{Line2D})
-isbounded(::Line2D)
-isuniversal(::Line2D, ::Bool=false)
-isempty(::Line2D)
 constrained_dimensions(::Line2D)
 constraints_list(::Line2D)
-translate(::Line2D, ::AbstractVector)
+dim(::Line2D)
+isbounded(::Line2D)
+isempty(::Line2D)
+isuniversal(::Line2D, ::Bool=false)
+rand(::Type{Line2D})
+∈(::AbstractVector, ::Line2D)
 project(::AbstractVector, ::Line2D)
+σ(::AbstractVector, ::Line2D)
+translate(::Line2D, ::AbstractVector)
+```
+
+```@meta
+CurrentModule = LazySets
 ```
+
 Inherited from [`LazySet`](@ref):
+* [`diameter`](@ref diameter(::LazySet, ::Real))
 * [`high`](@ref high(::LazySet))
+* [`high`](@ref high(::LazySet, ::Int))
 * [`low`](@ref low(::LazySet))
+* [`low`](@ref low(::LazySet, ::Int))
 * [`norm`](@ref norm(::LazySet, ::Real))
 * [`radius`](@ref radius(::LazySet, ::Real))
-* [`diameter`](@ref diameter(::LazySet, ::Real))
-* [`low`](@ref low(::LazySet, ::Int))
-* [`high`](@ref high(::LazySet, ::Int))
 * [`reflect`](@ref reflect(::LazySet))
 
 Inherited from [`AbstractPolyhedron`](@ref):

diff --git a/src/LazySets.jl b/src/LazySets.jl
@@ -126,7 +126,10 @@ include("Sets/HPolytope.jl")
 include("Sets/HPolyhedron.jl")
 include("Sets/Hyperplane.jl")
 include("Sets/Hyperrectangle.jl")
-include("Sets/Line2D.jl")
+
+include("Sets/Line2D/Line2DModule.jl")
+@reexport using ..Line2DModule: Line2D
+using ..Line2DModule: _linear_map_hrep_helper
 
 include("Sets/Line/LineModule.jl")
 @reexport using ..LineModule: Line, direction