Simplify class Interval#137

merkste wants to merge 1 commit intoprismmodelchecker:masterprismmodelchecker/prism:masterfrom

merkste:simplify-intervalmerkste/prism:simplify-intervalCopy head branch name to clipboard