Is a value in the support at all, or an atom of it specifically?
Details
support_contains() is TRUE for a value that is either an atom or inside
one of the continuous intervals. support_has_atom() is TRUE only for the
atoms, and so is the one to reach for when what matters is whether a point
carries positive probability.
Continuous intervals count their endpoints as contained. Those endpoints carry no probability, so a value can be contained in a support without being a point of positive mass — which is exactly the distinction between these two functions.
See also
Other Support algebra:
support_add_atoms(),
support_restrict(),
support_transform(),
support_union()
