class Door : public Server_Normal<FIFO> { protected: Random *service_distribution; public: void use() { wait((*service_distribution)()); }; Door(int nb_server,Random *distribution):Server_Normal<FIFO>(nb_server) { service_distribution=distribution; }; };