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