19 Mar
2014
19 Mar
'14
4:38 a.m.
AMDG On 03/18/2014 02:52 AM, Oodini wrote:
Hello,
Is it possible to define with ICL the time range [23:00 -> 05:00] with only one interval ?
For this to work you'd need 23:00 < 05:00, which naturally will cause problems for the interval [05:00 -> 23:00]. Basically there's no wat to make a circular ordering that is a also a strict weak ordering. I also doubt that the library would allow you to create a discontinuous interval saying that [23:00 -> 05:00] is really the union of [00:00 -> 05:00] and [23:00 -> 24:00) In Christ, Steven Watanabe