The Door class


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; 
    };  
};


Gunther.Siegel@sophia.inria.fr
Sun Nov 26 12:52:37 MET 1995