The ConstantsComparator has a template instantiation for storm::Interval.
Following a discussion in #808, the semantics of that instantiation is not obvious — especially if the precision is also an interval.
There is a point to drop this instantiation entirely and use dedicated interval methods with more obvious semantics instead.
The ConstantsComparator has a template instantiation for
storm::Interval.Following a discussion in #808, the semantics of that instantiation is not obvious — especially if the
precisionis also an interval.There is a point to drop this instantiation entirely and use dedicated interval methods with more obvious semantics instead.