1 #ifndef EDGE_PROPERTY_WRITER_H_INCLUDED_
2 #define EDGE_PROPERTY_WRITER_H_INCLUDED_
5 #include "../internal_representation/design.h"
19 if(
graph_[e].event_notification_edge_) {
21 out <<
"[ penwidth=3, color=\"#FF0000\", style=dotted, constraint = false]";
24 if(
graph_[e].hierarchical_communication_) {
25 out <<
"[ penwidth=3 , color=\"#EB9ACE\", style=dotted, constraint = false]" ;
EdgePropertyWriter(Graph &graph)
Definition: edge_property_writer.cpp:3
#define PSG_MODE
Definition: design.h:17
Graph & graph_
The segment graph.
Definition: edge_property_writer.h:35
void operator()(std::ostream &out, Edge e)
Definition: edge_property_writer.h:17
boost::adjacency_list< boost::listS, boost::listS, boost::bidirectionalS, Segment, Edge, boost::property< boost::vertex_index_t, int > > Graph
Definition: segment_graph.h:29
Definition: edge_property_writer.h:12
friend std::ostream & operator<<(std::ostream &out, const EdgePropertyWriter &epw)
Definition: edge_property_writer.h:37