Domain
This folder contains structures that are used to encode different kinds of concrete and abstract domains.
Concrete continuous domains
Dionysos.Domain.ContinuousUnboundedDomain
— TypeContinuousUnboundedDomain{N,T}
Struct for a basic unbounded continuous domain.
Dionysos.Domain.ContinuousBoundedDomain
— TypeContinuousBoundedDomain{N,T,B}
Struct for a basic bounded continuous domain.
Dionysos.Domain.ContinuousBoundedEllipsoidDomain
— TypeContinuousBoundedEllipsoidDomain{N,T,S<:Grid{N,T}}
Struct for a basic bounded continuous domain formed by a finite number of ellipsoids.
Dionysos.Domain.RectangularObstacles
— TypeRectangularObstacles{VT} <: AbstractSet{VT}
Struct for a rectangular domain with rectangular obstacles.
Abstract domains
Dionysos.Domain.DomainList
— TypeDomainList{N,T,S<:Grid{N,T}}
Struct for a basic domain based on a Grid
.
Dionysos.Domain.GeneralDomainList
— TypeGeneralDomainList{N,E<:AbstractSet{NTuple{N,Int}},T,S<:Grid{N,T},F} <: DomainType{N,T}
Struct for a rectangular domain with rectangular obstacles.
Dionysos.Domain.GridRectangular
— TypeGridRectangular{N,T} <: Grid{N,T}
Uniform grid on rectangular space rect
, centered at orig
and with steps set by the vector h
.
Dionysos.Domain.GridFree
— TypeGridFree{N,T} <: Grid{N,T}
Uniform grid on unbounded space, centered at orig
and with steps set by the vector h
.
Dionysos.Domain.GridEllipsoidalRectangular
— TypeGridEllipsoidalRectangular{N,T} <: Grid{N,T}
Uniform grid on rectangular space rect
, centered at orig
and with steps set by the vector h
. Cells are (possibly overlapping) ellipsoids defined at each grid point c
as (x-c)'P(x-c) ≤ 1
.