Singleton
LazySets.Singleton — TypeSingleton{N, VN<:AbstractVector{N}} <: AbstractSingleton{N}Type that represents a singleton, that is, a set with a unique element.
Fields
element– the only element of the set
Base.rand — Methodrand(::Type{Singleton}; [N]::Type{<:Real}=Float64, [dim]::Int=2,
[rng]::AbstractRNG=GLOBAL_RNG, [seed]::Union{Int, Nothing}=nothing)Create a random singleton.
Input
Singleton– type for dispatchN– (optional, default:Float64) numeric typedim– (optional, default: 2) dimensionrng– (optional, default:GLOBAL_RNG) random number generatorseed– (optional, default:nothing) seed for reseeding
Output
A random singleton.
Algorithm
The element is a normally distributed vector with entries of mean 0 and standard deviation 1.
LazySets.element — Methodelement(S::Singleton)Return the element of a singleton.
Input
S– singleton
Output
The element of the singleton.
LazySets.element — Methodelement(S::Singleton, i::Int)Return the i-th entry of the element of a singleton.
Input
S– singletoni– dimension
Output
The i-th entry of the element of the singleton.
LazySets.translate — Methodtranslate(S::Singleton, v::AbstractVector)Translate (i.e., shift) a singleton by a given vector.
Input
S– singletonv– translation vector
Output
A translated singleton.
Algorithm
We add the vector to the point in the singleton.
LazySets.Arrays.rectify — Methodrectify(S::Singleton)Concrete rectification of a singleton.
Input
S– singleton
Output
The Singleton that corresponds to the rectification of S.
LazySets.project — Methodproject(S::Singleton, block::AbstractVector{Int}; kwargs...)Concrete projection of a singleton.
Input
S– singletonblock– block structure, a vector with the dimensions of interest
Output
A set representing the projection of the singleton S on the dimensions specified by block.
Inherited from LazySet:
Inherited from AbstractPolytope:
Inherited from AbstractCentrallySymmetricPolytope:
Inherited from AbstractZonotope:
Inherited from AbstractHyperrectangle:
Inherited from AbstractSingleton: