property::Null
-- the empty
propertyIf the combination of two properties is not possible, the ``empty
property'' property::Null
is returned as result.
property::Null
The property positive contradicts the property negative:
>> Type::Positive and Type::Negative
property::Null
The intersection of two intervals can be empty. The corresponding properties are derived to the empty property:
>> Type::Interval(-1, 0) and Type::Interval(0, 1)
property::Null