mirror of
https://git.rwth-aachen.de/acs/public/villas/node/
synced 2025-03-09 00:00:00 +01:00
lib: add directed graph implementation incl. unittest
This commit is contained in:
parent
aa33a8e028
commit
f6c02b8429
4 changed files with 245 additions and 0 deletions
201
fpga/include/villas/directed_graph.hpp
Normal file
201
fpga/include/villas/directed_graph.hpp
Normal file
|
@ -0,0 +1,201 @@
|
|||
#pragma once
|
||||
|
||||
#include <map>
|
||||
#include <list>
|
||||
#include <memory>
|
||||
#include <sstream>
|
||||
#include <string>
|
||||
#include <stdexcept>
|
||||
|
||||
#include "log.hpp"
|
||||
|
||||
|
||||
namespace villas {
|
||||
namespace graph {
|
||||
|
||||
// use vector indices as identifiers
|
||||
using VertexIdentifier = std::size_t;
|
||||
using EdgeIdentifier = std::size_t;
|
||||
|
||||
// forward declarations
|
||||
class Edge;
|
||||
class Vertex;
|
||||
|
||||
|
||||
class Vertex {
|
||||
template<typename VertexType, typename EdgeType>
|
||||
friend class DirectedGraph;
|
||||
|
||||
public:
|
||||
bool
|
||||
operator==(const Vertex& other)
|
||||
{ return this->id == other.id; }
|
||||
|
||||
private:
|
||||
VertexIdentifier id;
|
||||
std::list<EdgeIdentifier> edges;
|
||||
};
|
||||
|
||||
|
||||
class Edge {
|
||||
template<typename VertexType, typename EdgeType>
|
||||
friend class DirectedGraph;
|
||||
|
||||
public:
|
||||
bool
|
||||
operator==(const Edge& other)
|
||||
{ return this->id == other.id; }
|
||||
|
||||
private:
|
||||
EdgeIdentifier id;
|
||||
VertexIdentifier from;
|
||||
VertexIdentifier to;
|
||||
};
|
||||
|
||||
|
||||
template<typename VertexType = Vertex, typename EdgeType = Edge>
|
||||
class DirectedGraph {
|
||||
public:
|
||||
|
||||
DirectedGraph(const std::string& name = "DirectedGraph") :
|
||||
lastVertexId(0), lastEdgeId(0)
|
||||
{
|
||||
logger = loggerGetOrCreate(name);
|
||||
}
|
||||
|
||||
std::shared_ptr<VertexType> getVertex(VertexIdentifier vertexId) const
|
||||
{
|
||||
if(vertexId < 0 or vertexId >= lastVertexId)
|
||||
throw std::invalid_argument("vertex doesn't exist");
|
||||
|
||||
// cannot use [] operator, because creates non-existing elements
|
||||
// at() will throw std::out_of_range if element does not exist
|
||||
return vertices.at(vertexId);
|
||||
}
|
||||
|
||||
std::shared_ptr<EdgeType> getEdge(EdgeIdentifier edgeId) const
|
||||
{
|
||||
if(edgeId < 0 or edgeId >= lastEdgeId)
|
||||
throw std::invalid_argument("edge doesn't exist");
|
||||
|
||||
// cannot use [] operator, because creates non-existing elements
|
||||
// at() will throw std::out_of_range if element does not exist
|
||||
return edges.at(edgeId);
|
||||
}
|
||||
|
||||
std::size_t getEdgeCount() const
|
||||
{ return edges.size(); }
|
||||
|
||||
std::size_t getVertexCount() const
|
||||
{ return vertices.size(); }
|
||||
|
||||
VertexIdentifier addVertex(std::shared_ptr<VertexType> vertex)
|
||||
{
|
||||
vertex->id = lastVertexId++;
|
||||
|
||||
logger->debug("New vertex: {}", vertex->id);
|
||||
vertices[vertex->id] = vertex;
|
||||
|
||||
return vertex->id;
|
||||
}
|
||||
|
||||
EdgeIdentifier addEdge(VertexIdentifier fromVertexId,
|
||||
VertexIdentifier toVertexId)
|
||||
{
|
||||
std::shared_ptr<EdgeType> edge(new EdgeType);
|
||||
edge->id = lastEdgeId++;
|
||||
|
||||
logger->debug("New edge {}: {} -> {}", edge->id, fromVertexId, toVertexId);
|
||||
|
||||
// connect it
|
||||
edge->from = fromVertexId;
|
||||
edge->to = toVertexId;
|
||||
|
||||
// this is a directed graph, so only push edge to starting vertex
|
||||
getVertex(fromVertexId)->edges.push_back(edge->id);
|
||||
|
||||
// add new edge to graph
|
||||
edges[edge->id] = edge;
|
||||
|
||||
return edge->id;
|
||||
}
|
||||
|
||||
void removeEdge(EdgeIdentifier edgeId)
|
||||
{
|
||||
auto edge = getEdge(edgeId);
|
||||
auto startVertex = getVertex(edge->from);
|
||||
|
||||
// remove edge only from starting vertex (this is a directed graph)
|
||||
logger->debug("Remove edge {} from vertex {}", edgeId, edge->from);
|
||||
startVertex->edges.remove(edgeId);
|
||||
|
||||
logger->debug("Remove edge {}", edgeId);
|
||||
edges.erase(edgeId);
|
||||
}
|
||||
|
||||
void removeVertex(VertexIdentifier vertexId)
|
||||
{
|
||||
// delete every edge that start or ends at this vertex
|
||||
auto it = edges.begin();
|
||||
while(it != edges.end()) {
|
||||
auto& [edgeId, edge] = *it;
|
||||
bool removeEdge = false;
|
||||
|
||||
if(edge->to == vertexId) {
|
||||
logger->debug("Remove edge {} from vertex {}'s edge list",
|
||||
edgeId, edge->from);
|
||||
|
||||
removeEdge = true;
|
||||
|
||||
auto startVertex = getVertex(edge->from);
|
||||
startVertex->edges.remove(edge->id);
|
||||
}
|
||||
|
||||
if((edge->from == vertexId) or removeEdge) {
|
||||
logger->debug("Remove edge {}", edgeId);
|
||||
// remove edge from global edge list
|
||||
it = edges.erase(it);
|
||||
} else {
|
||||
++it;
|
||||
}
|
||||
}
|
||||
|
||||
logger->debug("Remove vertex {}", vertexId);
|
||||
vertices.erase(vertexId);
|
||||
}
|
||||
|
||||
const std::list<EdgeIdentifier>&
|
||||
vertexGetEdges(VertexIdentifier vertexId) const
|
||||
{ return getVertex(vertexId)->edges; }
|
||||
|
||||
void dump()
|
||||
{
|
||||
logger->info("Vertices:");
|
||||
for(auto& [vertexId, vertex] : vertices) {
|
||||
// format connected vertices into a list
|
||||
std::stringstream ssEdges;
|
||||
for(auto& edge : vertex->edges) {
|
||||
ssEdges << getEdge(edge)->to << " ";
|
||||
}
|
||||
|
||||
logger->info(" {} connected to: {}", vertexId, ssEdges.str());
|
||||
}
|
||||
|
||||
logger->info("Edges:");
|
||||
for(auto& [edgeId, edge] : edges) {
|
||||
logger->info(" {}: {} -> {}", edgeId, edge->from, edge->to);
|
||||
}
|
||||
}
|
||||
|
||||
private:
|
||||
VertexIdentifier lastVertexId;
|
||||
EdgeIdentifier lastEdgeId;
|
||||
|
||||
std::map<VertexIdentifier, std::shared_ptr<VertexType>> vertices;
|
||||
std::map<EdgeIdentifier, std::shared_ptr<EdgeType>> edges;
|
||||
|
||||
SpdLogger logger;
|
||||
};
|
||||
|
||||
} // namespacae graph
|
||||
} // namespace villas
|
|
@ -7,6 +7,7 @@ set(SOURCES
|
|||
# rtds_rtt.c
|
||||
timer.cpp
|
||||
# xsg.c
|
||||
graph.cpp
|
||||
)
|
||||
|
||||
add_executable(unit-tests ${SOURCES})
|
||||
|
|
32
fpga/tests/graph.cpp
Normal file
32
fpga/tests/graph.cpp
Normal file
|
@ -0,0 +1,32 @@
|
|||
#include <memory>
|
||||
|
||||
#include <criterion/criterion.h>
|
||||
#include <villas/directed_graph.hpp>
|
||||
|
||||
Test(graph, directed, .description = "DirectedGraph")
|
||||
{
|
||||
villas::graph::DirectedGraph<> g;
|
||||
|
||||
std::shared_ptr<villas::graph::Vertex> v1(new villas::graph::Vertex);
|
||||
std::shared_ptr<villas::graph::Vertex> v2(new villas::graph::Vertex);
|
||||
std::shared_ptr<villas::graph::Vertex> v3(new villas::graph::Vertex);
|
||||
|
||||
auto v1id = g.addVertex(v1);
|
||||
auto v2id = g.addVertex(v2);
|
||||
auto v3id = g.addVertex(v3);
|
||||
cr_assert(g.getVertexCount() == 3);
|
||||
|
||||
g.addEdge(v1id, v2id);
|
||||
g.addEdge(v3id, v2id);
|
||||
g.addEdge(v1id, v3id);
|
||||
g.addEdge(v2id, v1id);
|
||||
cr_assert(g.getEdgeCount() == 4);
|
||||
cr_assert(g.vertexGetEdges(v1id).size() == 2);
|
||||
cr_assert(g.vertexGetEdges(v2id).size() == 1);
|
||||
cr_assert(g.vertexGetEdges(v3id).size() == 1);
|
||||
|
||||
g.removeVertex(v1id);
|
||||
g.dump();
|
||||
cr_assert(g.getVertexCount() == 2);
|
||||
cr_assert(g.vertexGetEdges(v2id).size() == 0);
|
||||
}
|
|
@ -111,3 +111,14 @@ TestSuite(fpga,
|
|||
.fini = fini,
|
||||
.description = "VILLASfpga"
|
||||
);
|
||||
|
||||
static void init_graph()
|
||||
{
|
||||
spdlog::set_pattern("[%T] [%l] [%n] %v");
|
||||
spdlog::set_level(spdlog::level::debug);
|
||||
}
|
||||
|
||||
TestSuite(graph,
|
||||
.init = init_graph,
|
||||
.description = "Graph library"
|
||||
);
|
||||
|
|
Loading…
Add table
Reference in a new issue