DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <diades/graph/Graph.hh>
#include <diades/graph/NodeMap.hh>
#include <diades/graph/EdgeMap.hh>
#include <diades/graph/ConstNodeMap.hh>
#include <diades/graph/ConstEdgeMap.hh>
Go to the source code of this file.
Namespaces | |
Diades | |
Namespace of the Diades project. | |
Diades::Graph | |
Namespace of the Graph library (libGraph) | |
Functions | |
void | Diades::Graph::mappedCopy (const Graph &graph, Graph ©, ConstNodeMap< Node > &nodeMap, NodeMap< Node > &nodeMapCopy, ConstEdgeMap< Edge > &edgeMap, EdgeMap< Edge > &edgeMapCopy) |
void | Diades::Graph::mappedAppend (const Graph &graph, Graph &result, ConstNodeMap< Node > &nodeMap, NodeMap< Node > &nodeMapCopy, ConstEdgeMap< Edge > &edgeMap, EdgeMap< Edge > &edgeMapCopy) |
Definition in file Utils.hh.