Merge pull request #3566 from JuliaReach/schillic/Line

Outsource `Line` to its own module

docs/src/lib/sets/Line.md

@@ -1,35 +1,45 @@
 ```@meta
-CurrentModule = LazySets
+CurrentModule = LazySets.LineModule
 ```
 
 # [Line](@id def_Line)
 
 ```@docs
 Line
-dim(::Line)
-ρ(::AbstractVector, ::Line)
-σ(::AbstractVector, ::Line)
-∈(::AbstractVector, ::Line)
+```
+
+## Operations
+
+```@docs
 an_element(::Line)
+constraints_list(::Line)
+dim(::Line)
 direction(::Line)
-rand(::Type{Line})
 isbounded(::Line)
-isuniversal(::Line; ::Bool=false)
 isempty(::Line)
-constraints_list(::Line)
-translate!(::Line, ::AbstractVector)
+isuniversal(::Line; ::Bool=false)
 normalize(::Line{N}, ::Real=N(2)) where{N}
 normalize!(::Line{N}, ::Real=N(2)) where{N}
+rand(::Type{Line})
 distance(::AbstractVector, ::Line; ::Real=2.0)
+∈(::AbstractVector, ::Line)
 linear_map(::AbstractMatrix, ::Line)
+ρ(::AbstractVector, ::Line)
+σ(::AbstractVector, ::Line)
+translate!(::Line, ::AbstractVector)
 ```
+
+```@meta
+CurrentModule = LazySets
+```
+
 Inherited from [`LazySet`](@ref):
-* [`low`](@ref low(::LazySet))
+* [`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))
 * [`translate`](@ref translate(::LazySet, ::AbstractVector))

src/LazySets.jl

@@ -22,7 +22,7 @@ import LinearAlgebra: ×, normalize, normalize!
 import RecipesBase: apply_recipe
 
 export Arrays
-export ×, normalize, subtypes
+export ×, normalize, normalize!, subtypes
 
 using LinearAlgebra, RecipesBase, Requires, SparseArrays
 import GLPK, JuMP, Random, ReachabilityBase
@@ -123,7 +123,10 @@ include("Sets/HPolyhedron.jl")
 include("Sets/Hyperplane.jl")
 include("Sets/Hyperrectangle.jl")
 include("Sets/Line2D.jl")
-include("Sets/Line.jl")
+
+include("Sets/Line/LineModule.jl")
+@reexport using ..LineModule: Line, direction
+
 include("Sets/Polygon.jl")
 include("Sets/RotatedHyperrectangle.jl")