arithmeticity.h

Go to the documentation of this file.

/*
Copyright (C) 2013-2017
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 error; 
 
  CoxIter *ci;                
  unsigned int verticesCount; 
  vector<vector<unsigned int>> coxeterMatrix; 
  vector<unsigned int> referencesToLabels;    
 
  // For the DFS
  vector<vector<bool>> visitedEdges; 
  vector<bool> visitedVertices;      
  vector<unsigned int> path;         
 
  bool notArithmetic; 
 
  bool listCycles; 
  vector<string> allCycles; 
 
public:
  Arithmeticity();
 
  ~Arithmeticity();
 
  void test(CoxIter &ci, const bool &listCycles_);
 
  vector<string> get_allCycles();
 
  string get_error();
 
private:
  unsigned int collapseQueues();
 
  void testCycles();
 
  void findCycles(const unsigned int &root, const unsigned int &from);
 
  void testCycle();
};
 
struct CycleElement {
  unsigned int first;
  unsigned int second;
};
 
struct Cycles {};
 
#endif // ARITHMETICITY_H