arithmeticity.h

Go to the documentation of this file.

/*
Copyright (C) 2013, 2014, 2015, 2016
Rafael Guglielmetti, rafael.guglielmetti@unifr.ch
*/

/*
This file is part of CoxIter.

CoxIter is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as
published by the Free Software Foundation, either version 3 of the
License, or (at your option) any later version.

CoxIter is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with CoxIter. If not, see <http://www.gnu.org/licenses/>.
*/

#ifndef ARITHMETICITY_H
#define ARITHMETICITY_H

#include "coxiter.h"

class Arithmeticity
{
    private:
        string strError; 

        CoxIter *ci; 
        unsigned int iVerticesCount; 
        vector< vector< unsigned int > > iCoxeterMatrix; 
        vector< unsigned int > iReferencesToLabels; 
        
        // For the DFS
        vector< vector< bool > > bEdgesVisited; 
        vector< bool > bVerticesVisited; 
        vector< unsigned int > iPath; 
        
        bool bNotArithmetic; 
        
        bool bListCycles; 
        vector< string > strListCycles; 
        
    public:
        Arithmeticity( );
        
        ~Arithmeticity( );
        
        void test( CoxIter& ci, const bool& bListCycles_ );
        
        vector< string > get_strListCycles( );
        
        string get_strError( );
        
    private:
        unsigned int collapseQueues( );
        
        
        void testCycles( );
        
        void findCycles( const unsigned int& iRoot, const unsigned int& iFrom );
        
        void testCycle( );
};

struct CycleElement
{
    unsigned int iV1;
    unsigned int iV2;
};

struct Cycles
{
};


#endif // ARITHMETICITY_H