cbc_fractional_scheduler.h

#ifndef __CBCFractionalScheduler_H__
#define __CBCFractionalScheduler_H__

#include <string>
#include <sstream>
#include <map>
#include <typeinfo>
#include "fractional_scheduler.h"
#include "cbc_model.h"
#include "../../../problems/scheduling/filtering.h"
#include <iostream>

namespace delphos{ 


class CBCFractionalScheduler : public FractionalScheduler {
private:
    
    CBCModel* _cmodel;
    //BlockIndexType* _colid;
    //unsigned long _rowcount;
    //vector<string> _options;
    //bool _novar;
    unsigned int _loglevel;
    unsigned int _numthread;
    double _objvalue;
    bool _bmodelcreated;
    
    bool _created_vars;
    string _logfile;
    Model::OptimizationSense _optimization_sense;

    bool CreateVariables();
    //bool CreateGoalFunction();
    bool CreateCoreConstraints();
    bool CreateUserConstraints();
    
    
    void ApplyPrecedenceConstraint(const PrecedenceConstraint& pc);
    void ApplyAttributeSumConstraint(const AttributeSumConstraint& asc);
    void ApplyAttributeAvgConstraint(const AttributeAvgConstraint& asc);
    void ApplyDoNotMineBeforeConstraint(const DoNotMineBeforeConstraint& dc);
    void ApplyForceMiningByConstraint(const ForceMiningByConstraint& fc);
    void ApplyDoNotSendToConstraint(const DoNotSendToConstraint& dnsc);
    void ApplyGeometricConstraint(const GeometricConstraint& gc);
    void ApplyMinExtractPeriodConstraint(const MinExtractPeriodConstraint& mepc);
    void ApplyBlockSelectionPrecedenceConstraint(const BlockSelectionPrecedenceConstraint& bspc);
    void ApplyConstraint(const Constraint& ctr);
    
    bool SetFractionalSchedule();
    bool CreateGoalFunction();
    vector<BlockIndexType> _index_in_bs;
    unsigned long _nb_prec; 
        
public:
#ifndef DOXYGEN
    Variable ProcVar(
        const BlockIndexType& block_index, 
        const unsigned int& period, 
        const unsigned int& destination);
        
    Variable StockVar(
        const unsigned int& stock_index, 
        const unsigned int& period, 
        const unsigned int& destination);

    LinearExpr RealProcVar(
        const BlockIndexType& block_index, 
        const unsigned int& period, 
        const unsigned int& destination);

    BlockIndexType ProcVarId(
        const delphos::BlockIndexType& block_index, 
        const unsigned int& period, 
        const unsigned int& destination);
        
    BlockIndexType StockVarId(
        const unsigned int& stock_index, 
        const unsigned int& period, 
        const unsigned int& destination);

    static string ProcVarName(
        const BlockIndexType& block_index, 
        const unsigned int& period, 
        const unsigned int& destination);
        
    static string StockVarName(
        const unsigned long& stock_index, 
        const unsigned int& period, 
        const unsigned int& destination);       
    #endif

    CBCFractionalScheduler(delphos::SchedulingInstance & si);

    virtual ~CBCFractionalScheduler();

    virtual bool Run();

    #ifndef DOXYGEN

    void Optimize();
    #endif
    
    const bool IsStock();

    bool CreateModel();

    void SetOptimizationSense(const Model::OptimizationSense& sense);
    
    void WriteLP(const string outfile);
    //void WriteSol(const string outfile);
    //void WriteInfeasibleLP(const string outfile);

    CBCModel& GetMathematicalModel(); 
    
    double GetObjValue();
    
    void AddSetting(const string& setting);

    void SetLogLevel(const unsigned int& level);

    void SetNumThread(const unsigned int& nthreads);
    //const bool UpdatedConstrs() const;

    const double GetDual(const string& cname); 

    void ComputeExpectedTime(const string column);

    const delphos::FractionalSchedule& GetFractionalSchedule();
    
    void SetLogFile(const string& name);

};




}
#endif