dDd.h

Go to the documentation of this file.

#ifndef DDD_H
#define DDD_H

#include<string>
#include<utility>
#include <iostream>

#include "../Fper/Fmaxp.h"

namespace etvo
{
  class T_op; //anticipated declaration


class dDd  
{
    public:
        static void setCanonForm(unsigned val=0);
        static unsigned getCanonForm();

        dDd(int tl, unsigned int v, int tc,unsigned int w,int tr);
        dDd(int tl, unsigned int v, unsigned int w, int tr);
        dDd(int tl,unsigned int vw,int tr);

        dDd(int tc=0);
                
        int getTl() const;
        unsigned int getV() const;
        int getTc() const;
        unsigned int getW() const;
        int getTr() const;      

        bool operator<=(const dDd & m) const;
        bool operator>=(const dDd & m) const;
        bool operator==(const dDd & m) const;


        void canon();
        void canonL();
         void canonC();
        void canonR();

        int Rw(int ki) const;
        Fmaxp getRw() const;

        T_op extendBy(unsigned mul) const;

        std::pair<unsigned,unsigned> getPeriodicity() const;
      
        std::string toString(unsigned nVer=0) const;

        bool isEpsilon() { return false; }
    protected:
        static unsigned _canon;
        int _tl;
        unsigned int _v;
        int _tc;
        unsigned int _w;
        int _tr;
};
    std::ostream & operator<<(std::ostream & f, const dDd & m);

} 
#endif // DDD_H