Cercare tutte le Aule libere che soddisfano un insieme di facilities

 public Set<Aula> cercaAuleLibere(Set<Facility> requestedFacilities, TimeSlot ts) {     
				//requestedFacilities insieme di facilities richieste che  un'aula deve soddisfare
				//ts  il time slot in cui un'aula deve essere libera
				
				//return l'insieme di tutte le aule gestite da questo gestore che  soddisfano tutte le facilities richieste e sono
				// libere nel time slot indicato. Se non ci sono aule che soddisfano i requisiti viene restituito un insieme vuoto.
				
    	if(ts == null || requestedFacilities == null) {
    		throw new NullPointerException("requested facilities and timeslot null");
    	}
        // TODO implementare