Hello, Is it possible to define with ICL the time range [23:00 -> 05:00] with only one interval ? Thanks.
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
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)
OK, thanks. I will do that.
participants (2)
-
Oodini -
Steven Watanabe