![]() |
PandA-2024.02
|
This structure defines the bulk for the state transition graph. More...
#include <state_transition_graph.hpp>


Public Member Functions | |
| StateTransitionGraphsCollection (const StateTransitionGraphInfoRef state_transition_graph_info, const ParameterConstRef parameters) | |
| Constructor. More... | |
| ~StateTransitionGraphsCollection () override | |
| Destructor. More... | |
| EdgeDescriptor | AddEdge (const vertex source, const vertex target, const int selector, const TransitionInfoRef info) |
| Add an edge with information associated. More... | |
Public Member Functions inherited from graphs_collection | |
| graphs_collection (GraphInfoRef info, const ParameterConstRef _parameters) | |
| Constructor of graph. More... | |
| virtual | ~graphs_collection ()=default |
| Destructor. More... | |
| boost::graph_traits< graphs_collection >::edge_descriptor | AddSelector (const boost::graph_traits< graphs_collection >::edge_descriptor edge, const int selector) |
| Add a selector to an existing edge. More... | |
| boost::graph_traits< graphs_collection >::edge_descriptor | AddSelector (const boost::graph_traits< graphs_collection >::vertex_descriptor source, const boost::graph_traits< graphs_collection >::vertex_descriptor target, const int selector) |
| Add a selector to an existing edge. More... | |
| void | RemoveSelector (boost::graph_traits< graphs_collection >::edge_descriptor edge) |
| Remove all the selectors of an edge from this graph. More... | |
| void | RemoveSelector (boost::graph_traits< graphs_collection >::edge_descriptor edge, const int selector) |
| Remove an edge from this graph. More... | |
| void | RemoveSelector (boost::graph_traits< graphs_collection >::vertex_descriptor source, boost::graph_traits< graphs_collection >::vertex_descriptor target, const int selector) |
| Remove an edge from this graph. More... | |
| int | GetSelector (const edge_descriptor e) const |
| Return the selectors associated with an edge. More... | |
| virtual boost::graph_traits< boost_graphs_collection >::vertex_descriptor | AddVertex (const NodeInfoRef info) |
| Add a vertex to this graph with a property. More... | |
| boost::graph_traits< graphs_collection >::edge_descriptor | AddEdge (boost::graph_traits< graphs_collection >::vertex_descriptor, boost::graph_traits< graphs_collection >::vertex_descriptor, const int) |
| Add an edge to this graph FIXME: this should be pure virtual. More... | |
| boost::graph_traits< graphs_collection >::edge_descriptor | InternalAddEdge (boost::graph_traits< graphs_collection >::vertex_descriptor source, boost::graph_traits< graphs_collection >::vertex_descriptor target, const int selector, const EdgeInfoRef info) |
| Add an edge to this graph FIXME: this should be protected. More... | |
| virtual void | RemoveVertex (boost::graph_traits< boost_graphs_collection >::vertex_descriptor v) |
| Remove a vertex from this graph. More... | |
| bool | ExistsEdge (const boost::graph_traits< graphs_collection >::vertex_descriptor source, const boost::graph_traits< graphs_collection >::vertex_descriptor target) const |
| Check if an edge exists. More... | |
| void | CompressEdges () |
Additional Inherited Members | |
Data Fields inherited from graphs_collection | |
| const ParameterConstRef | parameters |
| Set of input parameters. More... | |
This structure defines the bulk for the state transition graph.
Definition at line 294 of file state_transition_graph.hpp.
| StateTransitionGraphsCollection::StateTransitionGraphsCollection | ( | const StateTransitionGraphInfoRef | state_transition_graph_info, |
| const ParameterConstRef | parameters | ||
| ) |
Constructor.
| state_transition_graph_info | is the info to be associated with the graph |
| parameters | is the set of input parameters |
Definition at line 362 of file state_transition_graph.cpp.
References ~StateTransitionGraphsCollection().

|
overridedefault |
Destructor.
Referenced by StateTransitionGraphsCollection().

|
inline |
Add an edge with information associated.
| source | is the source of the edge |
| target | is the target of the edge |
| selector | is the selector to be added |
| info | is the information to be associated |
Definition at line 318 of file state_transition_graph.hpp.
References THROW_ASSERT.
1.8.13