optimistic.h

#ifndef _OPTIMISTIC_H_
#define _OPTIMISTIC_H_

#include "scheduler.h"

#include "lp.h" // Included for LPToken

using std::vector;

class OptimisticScheduler : public CBase_OptimisticScheduler {
  private:
    // TODO: Do we need a separate cancel queue, or can we treat it like FC?
    Time min_cancel_time; 
  public:
    OptimisticScheduler();
    void execute();

    void gvt_resume();        
    void gvt_done(Time gvt, bool lb);  
    void collect_fossils(Time gvt); 
    void balancing_complete();
    void process_cancel_q();        
    void update_min_cancel(Time);   
    Time get_min_time() const;      
};

#endif