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.