LazySets integration
This section describes the functionality in combination with LazySets
.
MathematicalPredicates.SetAtom
— TypeSetAtom{S<:LazySet, T} <: Predicate{Val{1}}
A unary atomic predicate defined with respect to a set.
Fields
X
– setf
– function that takes the setX
as first argument