Exact Sum (ExactSum)
LazySets.ExactSum — Type
ExactSum{N,S1<:LazySet{N},S2<:LazySet{N}} <: LazySet{N}Type that represents the exact sum of two sets Kochdumper and Althoff [KA21], Proposition 10
Fields
X– setY– set
Notes
The convenience aliases ⊞ is also available. ⊞ can be typed by \boxplus<tab>.