| View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info |
| General Info | |
| Name | Enclosing_interval |
| Expression | inv: minute_known implies enclosing_interval.lower.second = 1 and enclosing_interval.upper.second = Seconds_in_minute and not minute_known implies enclosing_interval.lower.minute = 1 and enclosing_interval.upper.minute = Minutes_in_hour and enclosing_interval.lower.second = 1 and enclosing_interval.upper.second = Seconds_in_minute |
| Base Classes | Class |