#include <queue>
#include <vector>

class Compito;

class Sincronizzatore
{
 public:
  Sincronizzatore();
  void aggiungi( Compito * );
  void esegui();
  double tempo();

 private:
  double tempo_;
  class Comp
  {
  public:
    bool operator () ( Compito*, Compito* );
  };
  priority_queue< Compito *,vector<Compito *>, Comp > coda_;
};