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.