UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Vertex.h
1 /***************************************************************************
2  * Copyright (C) 2005 by SZS *
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 DATA_STRUCTURESVERTEX_H
22 #define DATA_STRUCTURESVERTEX_H
23 
24 #include "../basic_types/globals.h"
25 #include <ostream>
26 
27 namespace uncover {
28  namespace graphs {
29 
35  class Vertex
36  {
37 
38  public:
39 
43  Vertex(IDType id);
44 
48  ~Vertex();
49 
54  IDType getID() const;
55 
61  friend std::ostream& operator<< (std::ostream& ost, Vertex const& data);
62 
63  protected:
64 
69 
70  };
71 
72  }
73 }
74 
75 #endif
~Vertex()
Destroys this Vertex.
Definition: Vertex.cpp:30
IDType getID() const
Returns the ID of this Vertex.
Definition: Vertex.cpp:32
IDType id
Stores the ID of this Vertex.
Definition: Vertex.h:68
Vertex stores all data of a vertex in a Hypergraph.
Definition: Vertex.h:35
friend std::ostream & operator<<(std::ostream &ost, Vertex const &data)
Streams a short string representation of the given Vertex.
Definition: Vertex.cpp:37
Vertex(IDType id)
Creates a new Vertex with the given ID.
Definition: Vertex.cpp:28
unsigned int IDType
IDType is an (unsigned) integer specifically used as an Identifier of graphs, elements of graphs or a...
Definition: globals.h:53