T_op.h

#ifndef TOP_H
#define TOP_H
#include<utility>
#include "dDd.h"
#include "../Fper/Fmaxp.h"

namespace etvo
{
class T_op
{
   public:
    static T_op E();    
    static T_op Vee(unsigned v);    
    static T_op Wedge(unsigned w);  
    static T_op Delta(unsigned vw);
    static T_op Delta(unsigned v,unsigned w);      
    static T_op deltaVar(const std::vector<int> & delays);
    static T_op delta(int t);

    public:

        T_op();
        T_op(const dDd & term);     
        void add(const dDd & term);
        void add(const T_op & op);

        std::pair<unsigned,unsigned> getPeriodicity() const; 
    
        std::vector<dDd> getTerms() const;

        unsigned getV() const;      
        unsigned getW() const;

        T_op extendBy(unsigned mul) const;
        void reduce();

        std::string toString() const;
        std::string toStringAsDeltaVar() const;

        int Rw(int ki) const;
        Fmaxp getRw() const;
        void setFromRw(const Fmaxp &);

        T_op operator+(const T_op & f) const;
        T_op oplus(const T_op & f) const;
        
        T_op operator*(const T_op & f) const;
        T_op otimes(const T_op & f) const;
        T_op inf(const T_op & f) const;

        T_op lfrac(const T_op & f) const;
        T_op rfrac(const T_op & f) const;

        bool operator==(const T_op & w) const;
        bool operator!=(const T_op & w) const;
                
        bool operator<=(const T_op & w) const;
        bool operator>=(const T_op & w) const;
        bool operator>(const T_op & w) const;
        bool operator<(const T_op & w) const;

        static T_op leastCausal(unsigned v, unsigned w);
    protected:
        Fmaxp _fper;

};
   std::ostream & operator<<(std::ostream & f, const T_op & m);
}
#endif // TOP_H