Merge pull request #3579 from JuliaReach/schillic/HParallelotope

Outsource `HParallelotope` to its own module

docs/src/lib/sets/HParallelotope.md

@@ -1,49 +1,58 @@
 ```@meta
-CurrentModule = LazySets
+CurrentModule = LazySets.HParallelotopeModule
 ```
 
 # [HParallelotope](@id def_HParallelotope)
 
 ```@docs
 HParallelotope
-directions(::HParallelotope)
-offset(::HParallelotope)
-dim(::HParallelotope)
+```
+
+## Operations
+
+```@docs
 base_vertex(::HParallelotope)
-extremal_vertices(::HParallelotope{N, VN}) where {N, VN}
 center(::HParallelotope)
-genmat(::HParallelotope)
-generators(::HParallelotope)
 constraints_list(::HParallelotope)
+dim(::HParallelotope)
+directions(::HParallelotope)
+extremal_vertices(::HParallelotope{N, VN}) where {N, VN}
+generators(::HParallelotope)
+genmat(::HParallelotope)
+offset(::HParallelotope)
 rand(::Type{HParallelotope})
 volume(::HParallelotope)
 ```
 
+```@meta
+CurrentModule = LazySets
+```
+
 Inherited from [`LazySet`](@ref):
-* [`low`](@ref low(::LazySet))
+* [`diameter`](@ref diameter(::LazySet, ::Real))
 * [`high`](@ref high(::LazySet))
+* [`low`](@ref low(::LazySet))
 * [`norm`](@ref norm(::LazySet, ::Real))
 * [`radius`](@ref radius(::LazySet, ::Real))
-* [`diameter`](@ref diameter(::LazySet, ::Real))
-* [`singleton_list`](@ref singleton_list(::LazySet))
 * [`rectify`](@ref rectify(::LazySet))
+* [`singleton_list`](@ref singleton_list(::LazySet))
 
 Inherited from [`AbstractPolytope`](@ref):
 * [`isbounded`](@ref isbounded(::AbstractPolytope))
 
 Inherited from [`AbstractCentrallySymmetricPolytope`](@ref):
-* [`isuniversal`](@ref isuniversal(::AbstractCentrallySymmetricPolytope{N}, ::Bool=false) where {N})
 * [`an_element`](@ref an_element(::AbstractCentrallySymmetricPolytope))
 * [`extrema`](@ref extrema(::AbstractCentrallySymmetricPolytope))
 * [`extrema`](@ref extrema(::AbstractCentrallySymmetricPolytope, ::Int))
+* [`isuniversal`](@ref isuniversal(::AbstractCentrallySymmetricPolytope{N}, ::Bool=false) where {N})
 
 Inherited from [`AbstractZonotope`](@ref):
-* [`ρ`](@ref ρ(::AbstractVector, ::AbstractZonotope))
-* [`σ`](@ref σ(::AbstractVector, ::AbstractZonotope))
-* [`∈`](@ref ∈(::AbstractVector, ::AbstractZonotope))
-* [`linear_map`](@ref linear_map(::AbstractMatrix, ::AbstractZonotope))
-* [`translate`](@ref translate(::AbstractZonotope, ::AbstractVector))
-* [`vertices_list`](@ref vertices_list(::AbstractZonotope))
 * [`isempty`](@ref isempty(::AbstractZonotope))
 * [`order`](@ref order(::AbstractZonotope))
 * [`reflect`](@ref reflect(::AbstractZonotope))
+* [`vertices_list`](@ref vertices_list(::AbstractZonotope))
+* [`linear_map`](@ref linear_map(::AbstractMatrix, ::AbstractZonotope))
+* [`∈`](@ref ∈(::AbstractVector, ::AbstractZonotope))
+* [`ρ`](@ref ρ(::AbstractVector, ::AbstractZonotope))
+* [`σ`](@ref σ(::AbstractVector, ::AbstractZonotope))
+* [`translate`](@ref translate(::AbstractZonotope, ::AbstractVector))

src/LazySets.jl

@@ -119,11 +119,18 @@ include("Sets/Ellipsoid/EllipsoidModule.jl")
 include("Sets/DensePolynomialZonotope/DensePolynomialZonotopeModule.jl")
 @reexport using ..DensePolynomialZonotopeModule: DensePolynomialZonotope
 
-include("Sets/HParallelotope.jl")
 include("Sets/HPolygon.jl")
 include("Sets/HPolygonOpt.jl")
 include("Sets/HPolytope.jl")
 include("Sets/HPolyhedron.jl")
+
+include("Sets/HParallelotope/HParallelotopeModule.jl")
+@reexport using ..HParallelotopeModule: HParallelotope,
+                                        directions,
+                                        base_vertex,
+                                        extremal_vertices,
+                                        offset
+
 include("Sets/Hyperplane.jl")
 include("Sets/Hyperrectangle.jl")