// pump.h: the Pump class, representing single pumps at the gas station.

class Pump {
private:
   Car *carInService;

   // serviceTime: determine how long the service will take.
   // This is a property of the pump-car combination, so the method could have
   // been in the Car class if the appropriate information were available there.
   //
   // Service times have a normal distribution with a mean given by a constant
   // base plus an amount of time per litre, and with a fixed standard
   // deviation.
   double serviceTime ();

public:

   // getCarInService: return the car currently being served by the pump.
   Car *getCarInService () { return carInService; }

   // startService: the start-of-service event routine.
   // Connects the car to this pump, and determines when the service will stop.
   void startService (Car *car);
};