Singleton
LazySets.Singleton — Type.Singleton{N<:Real, 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 — Method.rand(::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 — Method.element(S::Singleton{N}) where {N<:Real}Return the element of a singleton.
Input
S– singleton
Output
The element of the singleton.
LazySets.element — Method.element(S::Singleton{N}, i::Int) where {N<:Real}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 — Method.translate(S::Singleton{N}, v::AbstractVector{N}) where {N<:Real}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.
Inherited from LazySet:
Inherited from AbstractPolytope:
Inherited from AbstractCentrallySymmetricPolytope:
Inherited from AbstractZonotope:
Inherited from AbstractHyperrectangle:
Inherited from AbstractSingleton: