graphs.product.set.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 GRAPHSPRODUCTSET_H
#define GRAPHSPRODUCTSET_H
 
#include <iterator>
#include <set>
#include <string>
 
#include "graph.h"
#include "graphs.product.h"
 
using namespace std;
 
class GraphsProductSet {
public:
  unsigned int rank; 
  set<Graph *, GraphPtrComp>
      graphs; 
 
public:
  GraphsProductSet();
  GraphsProductSet(const GraphsProduct &gp);
 
  vector<short unsigned int> get_vertices() const;
 
  bool areVerticesSubsetOf(const GraphsProductSet &gp) const;
 
  friend ostream &operator<<(ostream &o, const GraphsProductSet &gp);
};
 
#endif // GRAPHSPRODUCTSET_H