Empty set (EmptySet)

Operations

LazySets.API.areaMethod
area(∅::EmptySet)

Return the area of an empty set.

Input

  • – empty set

Output

$0$.

source
LazySets.API.complementMethod
complement(∅::EmptySet{N}) where {N}

Return the complement of an empty set.

Input

  • – empty set

Output

The universe of the same dimension.

source
complement(U::Universe{N}) where {N}

Return the complement of an universe.

Input

  • – universe

Output

The empty set of the same dimension.

source
LazySets.API.diameterFunction
diameter(∅::EmptySet, [p]::Real=Inf)

Return the diameter of an empty set. It is the maximum distance between any two elements of the set or, equivalently, the diameter of the enclosing ball (of the given $p$-norm) of minimal volume with the same center.

Input

  • – empty set
  • p – (optional, default: Inf) norm

Output

An error.

source
LazySets.API.dimMethod
dim(∅::EmptySet)

Return the dimension of an empty set.

Input

  • – an empty set

Output

The dimension of the empty set.

source
LazySets.API.highMethod
high(∅::EmptySet, i::Int)

Return the highest coordinate of an empty set in the given direction.

Input

  • – empty set
  • i – dimension of interest

Output

An error.

source
Base.isemptyMethod
isempty(∅::EmptySet)

Check if the empty set is empty.

Input

  • – empty set

Output

true.

source
LazySets.API.isuniversalMethod
isuniversal(∅::EmptySet{N}, [witness]::Bool=false) where {N}

Check whether an empty set is universal.

Input

  • – empty set
  • witness – (optional, default: false) compute a witness if activated

Output

  • If witness option is deactivated: false
  • If witness option is activated: (false, v) where $v ∉ S$
source
LazySets.API.lowMethod
low(∅::EmptySet, i::Int)

Return the lowest coordinate of an empty set in the given direction.

Input

  • – empty set
  • i – dimension of interest

Output

An error.

source
LinearAlgebra.normFunction
norm(∅::EmptySet, [p]::Real=Inf)

Return the norm of an empty set. It is the norm of the enclosing ball (of the given $p$-norm) of minimal volume that is centered in the origin.

Input

  • – empty set
  • p – (optional, default: Inf) norm

Output

An error.

source
LazySets.API.radiusFunction
radius(∅::EmptySet, [p]::Real=Inf)

Return the radius of an empty set. It is the radius of the enclosing ball (of the given $p$-norm) of minimal volume with the same center.

Input

  • – empty set
  • p – (optional, default: Inf) norm

Output

An error.

source
Base.randMethod
rand(::Type{EmptySet}; [N]::Type{<:Real}=Float64, [dim]::Int=2,
     [rng]::AbstractRNG=GLOBAL_RNG, [seed]::Union{Int, Nothing}=nothing)

Create an empty set (note that there is nothing to randomize).

Input

  • EmptySet – type for dispatch
  • N – (optional, default: Float64) numeric type
  • dim – (optional, default: 2) dimension
  • rng – (optional, default: GLOBAL_RNG) random number generator
  • seed – (optional, default: nothing) seed for reseeding

Output

The (only) empty set of the given numeric type and dimension.

source
LazySets.API.reflectMethod
reflect(∅::EmptySet)

Concrete reflection of an empty set.

Input

  • – empty set

Output

The same empty set.

source
LazySets.API.vertices_listMethod
vertices_list(∅::EmptySet)

Return the list of vertices of an empty set.

Input

  • – empty set

Output

The empty list of vertices, as the empty set does not contain any vertices.

source
LazySets.API.verticesMethod
vertices(∅::EmptySet)

Construct an iterator over the vertices of an empty set.

Input

  • – empty set

Output

The empty iterator, as the empty set does not contain any vertices.

source
LazySets.API.volumeMethod
volume(∅::EmptySet{N}) where {N}

Return the volume of an empty set.

Input

  • – empty set

Output

$0$.

source
Base.:∈Method
∈(x::AbstractVector, ∅::EmptySet)

Check whether a given point is contained in an empty set.

Input

  • x – point/vector
  • – empty set

Output

false.

Examples

julia> [1.0, 0.0] ∈ ∅(2)
false
source
LazySets.API.linear_mapMethod
linear_map(M::AbstractMatrix{N}, ∅::EmptySet{N}) where {N}

Return the linear map of an empty set.

Input

  • M – matrix
  • – empty set

Output

An empty set.

source
LazySets.API.ρMethod
ρ(d::AbstractVector, ∅::EmptySet)

Evaluate the support function of an empty set in a given direction.

Input

  • d – direction
  • – empty set

Output

An error.

source
LazySets.API.σMethod
σ(d::AbstractVector, ∅::EmptySet)

Return the support vector of an empty set.

Input

  • d – direction
  • – empty set

Output

An error.

source
LazySets.API.translateMethod
translate(∅::EmptySet, v::AbstractVector)

Translate (i.e., shift) an empty set by a given vector.

Input

  • – empty set
  • v – translation vector

Output

The empty set.

source
LazySets.plot_recipeMethod
plot_recipe(∅::EmptySet{N}, [ε]=zero(N)) where {N}

Convert an empty set to a sequence of points for plotting. In the special case of an empty set, the sequence is empty.

Input

  • – empty set
  • ε – (optional, default: 0) ignored, used for dispatch

Output

An empty array.

source

Undocumented implementations:

Inherited from LazySet: