32#ifndef HPP_PLOT_HPP_NATIVE_GRAPH_HH 33#define HPP_PLOT_HPP_NATIVE_GRAPH_HH 56 QWidget* parent =
nullptr);
66 const std::string&
graphName()
const {
return graphName_; }
124 QString getConstraints(
128 QString getDetailedStateConstraints(std::size_t stateId);
131 QString getDetailedEdgeConstraints(std::size_t edgeId);
134 QString getDetailedEdgeTargetConstraints(std::size_t edgeId);
137 void updateEdgeStyle(QGVEdge* edge,
long weight);
140 std::string graphName_;
145 QString constraintStr;
152 QString constraintStr;
161 QString constraintStr;
162 QString containingStateName;
165 std::size_t nbWaypoints;
169 QMap<QGVNode*, NodeInfo> nodeInfos_;
170 QMap<QGVEdge*, EdgeInfo> edgeInfos_;
171 QMap<std::size_t, QGVNode*> nodes_;
172 QMap<std::size_t, QGVEdge*> edges_;
175 QPushButton* showWaypoints_;
181 long highlightedNodeId_;
182 long highlightedEdgeId_;
shared_ptr< GraphComponent > GraphComponentPtr_t
shared_ptr< Graph > GraphPtr_t
Definition graph-widget.hh:44