reserveRooms

[rgcv]

Input: reservs, rooms, client, arrival, departure

Effect: Makes a number of room reservations reservs, for the rooms rooms, for client client, at the same hotel, and the same arrival and departure dates (arrival and departure).

Associated Requirements:

• For each room reservation added to Adventure Builder, the arrival date is less than the departure date. (13)
• Room reservations for the same room must not overlap. (14)
• For each adventure in Adventure Builder, the corresponding room reservations are at the same hotel. (24)

Related to: #14