gNg.h

Go to the documentation of this file.

#ifndef gNg_H
#define gNg_H
#include<string>
#include<utility>
#include <iostream>

#include "../Fper/Fminp.h"


namespace etvo
{
class E_op;

class gNg   
{
    public:
        static void setCanonForm(unsigned val=0);  //0=Left 1=Center 2=Right
        static unsigned getCanonForm();
        
        gNg(int nl,unsigned int m,int nc,unsigned int b,int nr);
        gNg(int nl,unsigned int m,unsigned int b,int nr);
        gNg(int nl,unsigned int mb,int nr);
        gNg(int nc=0);

        int getNl() const;
        unsigned int getM() const;
        int getNc() const;
        unsigned int getB() const;
        int getNr() const;

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

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

        int Fw(int ki) const;
        Fminp getFw() const;
       
        E_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 _nl;
        unsigned int _m;
        int _nc;
        unsigned int _b;
        int _nr;
};

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