The Counter class

 
class Counter : public Server_Normal<FIFO> {
protected:
    Random *service_distribution; 
public:
    void take(int nb_articles){ 
        for(int i=1;i<=nb_articles;i++) 
            wait((*service_distribution)());
    };

    Counter(Random *distribution) : Server_Normal<FIFO>(100) {
        service_distribution=distribution; 
    };
};