Restaurant opening hours

Group Phase Specification
1

Hello,

The json specification for Restaurant on page 10 states the condition for openingTickEnd:

(openingTickEnd ∈ [1;24] ∧ openingTickEnd ≥ openingTickStart)

While page 25 line 23 states:

For every restaurant, openingTickStart must be less than openingTickEnd.

Which statement holds for the case of openingTickStart == openingTickEnd?

Thanks!

1 Like
2

Hi,
I don’t think that this affects anything but the validation. Having opening times less than 3 ticks doesn’t make sense anyways since these restaurants wouldn’t accept any customers, so for the simulation it does not really affect.
For validation, you can stick to openingTickStart < openingTickEnd

2 Likes