constraint.h

#ifndef __CONSTRAINT_H__
#define __CONSTRAINT_H__

#include <string>
#include <cstdio>
#include <cstring>
#include <typeinfo>
#include "../../data_structures/bm/blockmodel.h"
#include "../../data_structures/bm/blocksel.h"
#include "schedule.h"
#include "../../solvers/scheduling/fractional_scheduler/fractional_schedule.h"
#include "../../data_structures/precs/arcs.h"
#include "../../data_structures/precs/precs.h"
#include "ramps.h"
#include "named.h"

using std::string;


namespace delphos{ 
class Constraint : public Named {
public:
    Constraint(const string & name);

    virtual ~Constraint();
    
    virtual bool Check(const delphos::Schedule & sch) const;

    virtual bool Check(const delphos::FractionalSchedule & fsch) const;
    
    virtual string ToXML(const unsigned int identation_level = 0) const;

    const char * TypeName() const;
protected:
    virtual string XMLHeading(const unsigned int & identation_level=0) const;

    virtual string XMLBody(const unsigned int & identation_level=0) const;

    virtual string XMLFooting(const unsigned int & identation_level=0) const;

    static string XMLIdentation(const unsigned int & identation_level);

    static string XMLAttribute(const string & attr_name, const double & value);

    static string XMLAttribute(const string & attr_name, const string & value);
};

class BlockConstraint : virtual public Constraint 
{
private:
    BlockSelection * _bs;
    bool _bs_todelete;
public:
    BlockConstraint(const string & name,delphos::BlockModel& bm);
    BlockConstraint(const string & name, delphos::BlockSelection * bs);

    delphos::BlockSelection * GetBlockSelection() const;
    
    virtual ~BlockConstraint();
    
protected:
    virtual string XMLHeading(const unsigned int & identation_level=0) const;
    virtual string XMLBody(const unsigned int & identation_level=0) const;
    virtual string XMLFooting(const unsigned int & identation_level=0) const;
};

class TimedConstraint : virtual public Constraint {
protected:
    const unsigned int _period;
public:
    TimedConstraint(const string & name, const unsigned int & period);
    
    virtual ~TimedConstraint();

    const unsigned int GetPeriod() const;
};

class BlockTimingConstraint : 
     public BlockConstraint, public TimedConstraint
{
public:
    BlockTimingConstraint(const string & name, const unsigned int& period,delphos::BlockModel& bm);
    
    BlockTimingConstraint(const string & name, const unsigned int& period, delphos::BlockSelection * bs);
};

class AttributeSumConstraint :  public BlockTimingConstraint{
private:
    const string _attr;
    const double _min, _max;    
    vector<string> _dest;
public:
    static const double NegativeInfinite;
    
    static const double PositiveInfinite;

    AttributeSumConstraint(
        const string & name, 
        const unsigned int & period, 
        const string & attribute,
        const vector<string> & destinations,
        const double min_value = NegativeInfinite, 
        const double max_value = PositiveInfinite,
        delphos::BlockSelection * bs=NULL);
    virtual ~AttributeSumConstraint();

    virtual bool Check(const delphos::Schedule & sch) const;
#ifndef MAC 

    virtual bool Check(const delphos::FractionalSchedule & sch) const;
#endif  

    const string SumAttribute() const;
    
    const string GetSumAttribute() const;
    
    const double MinValue() const;
    
    const double GetMinValue() const;
    
    const double MaxValue() const;
    
    const double GetMaxValue() const;
    
    const bool IsLowerBounded() const;

    const bool IsUpperBounded() const;

    const unsigned int NumAffectedDestinations() const;
    
    const unsigned int GetNumAffectedDestinations() const;

    string GetAffectedDestination(const unsigned int& i) const;
    
    const vector<string>& GetAffectedDestinations() const;
    
protected:
    virtual string XMLHeading(const unsigned int & identation_level=0) const;
    virtual string XMLBody(const unsigned int & identation_level=0) const;
    virtual string XMLFooting(const unsigned int & identation_level=0) const;

};

class AttributeAvgConstraint : public AttributeSumConstraint {
private:
    const string _weight_attr;
    const double _term_min;
    const double _term_max;
public:

    AttributeAvgConstraint(
        const string & name, 
        const unsigned int & period, 
        const string & sum_attr,
        const string & weight_attr,
        const vector<string> & destinations,
        const double min_value = NegativeInfinite, 
        const double max_value = PositiveInfinite,
        delphos::BlockSelection * bs=NULL,
        const double term_min =0.0,
        const double term_max =0.0);
    
    virtual ~AttributeAvgConstraint();

    virtual bool Check(const delphos::Schedule & sch) const;
#ifndef MAC

    virtual bool Check(const delphos::FractionalSchedule & sch) const;
#endif  

    const string  WeightAttribute() const;
    
    const string  GetWeightAttribute() const;
    
    const double  GetFixedTermMin() const;
    const double  GetFixedTermMax() const;
protected:
    virtual string XMLHeading(const unsigned int & identation_level=0) const;
    virtual string XMLBody(const unsigned int & identation_level=0) const;
    virtual string XMLFooting(const unsigned int & identation_level=0) const;
};

class PrecedenceConstraint : public Constraint {
private:
    const Precedence & _prec;
public:
    PrecedenceConstraint(const string & name, const delphos::Precedence & prec);
    
    virtual ~PrecedenceConstraint();
    
    virtual const delphos::Precedence & GetPrecedence() const;
    
    virtual bool Check(const delphos::Schedule & sch) const;
#ifndef MAC 

    virtual bool Check(const delphos::FractionalSchedule & sch) const;
#endif  
protected:
    virtual string XMLHeading(const unsigned int & identation_level=0) const;
    virtual string XMLBody(const unsigned int & identation_level=0) const;
    virtual string XMLFooting(const unsigned int & identation_level=0) const;
};


class BlockSelectionPrecedenceConstraint : public Constraint{
private:
    const BlockSelection& _bs_first;
    const BlockSelection& _bs_second;
public: 
    BlockSelectionPrecedenceConstraint(const string & name,const BlockSelection& bs_first, const BlockSelection& bs_second);
    
    virtual ~BlockSelectionPrecedenceConstraint();
    
    virtual const delphos::BlockSelection& GetFirstBlockSelection() const;
    
    virtual const delphos::BlockSelection& GetSecondBlockSelection() const;
    
    virtual bool Check(const delphos::Schedule & sch) const;
#ifndef MAC 

    virtual bool Check(const delphos::FractionalSchedule & sch) const;
#endif  
protected:
    virtual string XMLHeading(const unsigned int & identation_level=0) const;
    virtual string XMLBody(const unsigned int & identation_level=0) const;
    virtual string XMLFooting(const unsigned int & identation_level=0) const;
};


class GeometricConstraint : public PrecedenceConstraint {
private:
    //const RampPrecedence & _rprec;
    const unsigned int  _delta;
public:
    GeometricConstraint(const string & name, const delphos::RampPrecedence & rprec, const unsigned int  delta);
    
    virtual ~GeometricConstraint();

    virtual const delphos::RampPrecedence & GetPrecedence() const;
    
    virtual bool Check(const delphos::Schedule & sch) const;
#ifndef MAC

    virtual bool Check(const delphos::FractionalSchedule & sch) const;
#endif  

    const unsigned int  GetTimeDifference() const;
    
protected:
    virtual string XMLHeading(const unsigned int & identation_level=0) const;
    virtual string XMLBody(const unsigned int & identation_level=0) const;
    virtual string XMLFooting(const unsigned int & identation_level=0) const;
};


}
#endif