UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Protected Attributes | Friends | List of all members
Vertex Class Reference

Vertex stores all data of a vertex in a Hypergraph. More...

#include <Vertex.h>

Public Member Functions

 Vertex (IDType id)
 Creates a new Vertex with the given ID.
 
 ~Vertex ()
 Destroys this Vertex.
 
IDType getID () const
 Returns the ID of this Vertex. More...
 

Protected Attributes

IDType id
 Stores the ID of this Vertex.
 

Friends

std::ostream & operator<< (std::ostream &ost, Vertex const &data)
 Streams a short string representation of the given Vertex. More...
 

Detailed Description

Vertex stores all data of a vertex in a Hypergraph.

See Also
Hypergraph
Author
Jan Stückrath

Member Function Documentation

IDType getID ( ) const

Returns the ID of this Vertex.

Returns
the ID of this Vertex

Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  ost,
Vertex const &  data 
)
friend

Streams a short string representation of the given Vertex.

Parameters
ostthe stream to which the Vertex ist streamed
datathe Vertex to be streamed

The documentation for this class was generated from the following files: