UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
SignatureCreater.h
1 /***************************************************************************
2  * Copyright (C) 2009 by Marvin Heumüller *
3  * Copyright (C) 2014 by Jan Stückrath <jan.stueckrath@uni-due.de> *
4  * *
5  * This program is free software; you can redistribute it and/or modify *
6  * it under the terms of the GNU General Public License as published by *
7  * the Free Software Foundation; either version 2 of the License, or *
8  * (at your option) any later version. *
9  * *
10  * This program is distributed in the hope that it will be useful, *
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of *
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
13  * GNU General Public License for more details. *
14  * *
15  * You should have received a copy of the GNU General Public License *
16  * along with this program; if not, write to the *
17  * Free Software Foundation, Inc., *
18  * 51 Franklin St, Fifth Floor, Boston, MA 02110, USA *
19  ***************************************************************************/
20 
21 #ifndef ALGORITHMS_HYPERGRAPHSIGNATURE_CREATER_H
22 #define ALGORITHMS_HYPERGRAPHSIGNATURE_CREATER_H
23 
24 #include "Hypergraph.h"
25 
26 namespace uncover {
27  namespace graphs {
28 
39  {
40 
41  public:
42 
50  static PartSig createHGSignature(Hypergraph const& graph, HGSignature& signature);
51 
55  virtual ~SignatureCreater();
56 
57  private:
58 
63 
70  static PartSig hashFromString(string s);
71 
79  static PartSig newCert(PartSig const& old, string label, vector<PartSig> const& neighborCert);
80 
81  };
82 
83  }
84 }
85 
86 #endif
unsigned int PartSig
PartSig is a Signature of an element of a graph.
Definition: globals.h:99
static PartSig hashFromString(string s)
Computes a hash value for a string.
Definition: SignatureCreater.cpp:91
virtual ~SignatureCreater()
Destroys this SignatureCreater.
Definition: SignatureCreater.cpp:32
A Hypergraph represents a graph with a unique identifier.
Definition: Hypergraph.h:35
SignatureCreater()
This constructor cannot be used.
Definition: SignatureCreater.cpp:30
static PartSig newCert(PartSig const &old, string label, vector< PartSig > const &neighborCert)
Computes a hash value for an edge based on its label and attached vertices.
Definition: SignatureCreater.cpp:109
unordered_map< IDType, PartSig > HGSignature
HGSignature represents a Signature calculated from a Hypergraph.
Definition: globals.h:105
The SignatureCreater provides functions to generate signatures for Hypergraphs.
Definition: SignatureCreater.h:38
static PartSig createHGSignature(Hypergraph const &graph, HGSignature &signature)
Computes the signature for a Hypergraph.
Definition: SignatureCreater.cpp:34