Pages = ["API.md"]
Depth = 3
CurrentModule = LazySets.API
an_element(::LazySet)
area(::LazySet)
center(::LazySet, ::Int)
center(::LazySet)
complement(::LazySet)
concretize(::LazySet)
constraints_list(::LazySet)
constraints(::LazySet)
convex_hull(::LazySet)
diameter(::LazySet, ::Real=Inf)
dim(::LazySet)
eltype(::Type{<:LazySet})
eltype(::LazySet)
extrema(::LazySet, ::Int)
extrema(::LazySet)
high(::LazySet, ::Int)
high(::LazySet)
is_polyhedral(::LazySet)
isbounded(::LazySet)
isboundedtype(::Type{<:LazySet})
isconvextype(::Type{<:LazySet})
isempty(::LazySet, ::Bool=false)
isoperation(::LazySet)
isoperationtype(::Type{<:LazySet})
isuniversal(::LazySet, ::Bool=false)
low(::LazySet, ::Int)
low(::LazySet)
norm(::LazySet, ::Real=Inf)
radius(::LazySet, ::Real=Inf)
rand(::Type{<:LazySet})
rectify(::LazySet)
reflect(::LazySet)
surface(::LazySet)
vertices_list(::LazySet)
vertices(::LazySet)
volume(::LazySet)
affine_map(::AbstractMatrix, ::LazySet, ::AbstractVector)
exponential_map(::AbstractMatrix, ::LazySet)
∈(::AbstractVector, ::LazySet)
is_interior_point(::AbstractVector{N}, ::LazySet; p=Inf, ε=_rtol(N)) where {N<:Real}
linear_map(::AbstractMatrix, ::LazySet)
permute(::LazySet, ::AbstractVector{Int})
project(::LazySet, ::AbstractVector{Int})
sample(::LazySet, ::Int)
scale(::Real, ::LazySet)
scale!(::Real, ::LazySet)
ρ(::AbstractVector, ::LazySet)
support_function
σ(::AbstractVector, ::LazySet)
support_vector
translate(::LazySet, ::AbstractVector)
translate!(::LazySet, ::AbstractVector)
cartesian_product(::LazySet, ::LazySet)
difference(::LazySet, ::LazySet)
distance(::LazySet, ::LazySet)
exact_sum(::LazySet, ::LazySet)
⊞
intersection(::LazySet, ::LazySet)
≈(::LazySet, ::LazySet)
isdisjoint(::LazySet, ::LazySet)
is_intersection_empty
==(::LazySet, ::LazySet)
isequivalent(::LazySet, ::LazySet)
⊂(::LazySet, ::LazySet)
⊆(::LazySet, ::LazySet)
linear_combination(::LazySet, ::LazySet)
minkowski_difference(::LazySet, ::LazySet)
pontryagin_difference
minkowski_sum(::LazySet, ::LazySet)