https://forum.se.cs.uni-saarland.de:51443/t/specification-adjustments/16/18
From this specification adjustment I am concluding that it is possible for customers to eat after the restaurant is closed. If this conclusion is true, this would contradict the project specification where it says:
If a restaurant has reached the end of the opening time and customers are still inside, you can assume that they are all escorted outside immediately.
Otherwise, if my assumption is wrong, why would I need to log eating and rating if there aren’t any customers within the restaurant? For the status logs regarding eating and rating I believe that we just enter 0 for every count we need to output, and for delivery it’s clear because deliveries can continue after a restaurant has closed, but for the other logs the adjustment states “if needed”, and if there aren’t any customers inside the restaurant it won’t be needed, and therefore could’ve been omitted.