The Office class


class Office : public Server_Normal<FIFO> {
protected:
    Random *service_distribution; 
public:
    void ask_price() { wait((*service_distribution)()); } ;

    Office(Random *distribution) : Server_Normal<FIFO>(1) {
       service_distribution=distribution;
    };
};

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