graph.hpp

Go to the documentation of this file.

/*****************************************************************************
 
 This file is part of QSS Solver.
 
 QSS Solver 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.
 
 QSS Solver 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 QSS Solver.  If not, see <http://www.gnu.org/licenses/>.
 
 ******************************************************************************/
 
#ifndef MMO_UTIL_GRAPH_H_
#define MMO_UTIL_GRAPH_H_
 
#include <map>
#include <set>
 
#include "graph_profile.hpp"
 
using namespace std;
 
class Graph {
  public:
  Graph(int states, int events);
  ~Graph();
  map<int, set<int>> graph();
  map<int, set<int>> hyperGraph();
  void addGraphEdge(int orig, int dest);
  void addHyperGraphEdge(int orig, int dest);
  int graphEdgeWeight(int node, int inf);
  int hyperGraphEdgeWeight(int node);
  void connectGraphs();
  int graphEdges();
  int graphNodeEdges(int node);
  bool empty();
  int hyperGraphEdges();
  int nodeWeight(int node);
  void addNodeWeight(int node, int weight);
 
  private:
  int edgeWeight(int node);
  int _states;
  int _events;
  int _nvtxs;
  int _graphEdges;
  map<int, set<int>> _graph;
  map<int, set<int>> _graphInputs;
  map<int, int> _graphDiscretes;
  map<int, set<int>> _hyperGraph;
  map<int, set<int>> _wmap;
  map<int, set<int>> _hwmap;
  GRP_graphProfile _profile;
};
 
#endif /* MMO_UTIL_GRAPH_H_ */