2006/9/26, Thomas Beale <Thomas.Beale at oceaninformatics.biz>: > > I have improved the documentation in the class definitions, and added > the following invariant to History: > > period_consistency: is_periodic implies events.for_all (e: EVENT | > e.offset.to_seconds.mod(period.to_seconds) = > e.offset.to_seconds/period.to_seconds)
Hi Thomas, With the risk of making a fool of my self, shouldn't a consistent period mean that all events should have an offset to the original time of starting the observations which is periodic? In that case, doesn't it mean that the offset modulo the period should be zero and not offset/period? If the offset is evenly dividable with the period, then it should mean that the event is periodic and if all events are periodic then the period for the history is consistent. Correct me if I'm wrong. /Mattias and added the query to_seconds: Double to the ISO8601_DURATION class in > the Support IM package. > > - thomas > > > _______________________________________________ > openEHR-technical mailing list > openEHR-technical at openehr.org > http://www.chime.ucl.ac.uk/mailman/listinfo/openehr-technical > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.openehr.org/mailman/private/openehr-technical_lists.openehr.org/attachments/20060926/ac1e2ba5/attachment.html> -------------- next part -------------- _______________________________________________ openEHR-technical mailing list openEHR-technical at openehr.org http://www.chime.ucl.ac.uk/mailman/listinfo/openehr-technical
