PandA-2024.02
Public Member Functions
StateTransitionGraphsCollection Class Reference

This structure defines the bulk for the state transition graph. More...

#include <state_transition_graph.hpp>

Inheritance diagram for StateTransitionGraphsCollection:
Inheritance graph
[legend]
Collaboration diagram for StateTransitionGraphsCollection:
Collaboration graph
[legend]

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...
 

Detailed Description

This structure defines the bulk for the state transition graph.

Definition at line 294 of file state_transition_graph.hpp.

Constructor & Destructor Documentation

◆ StateTransitionGraphsCollection()

StateTransitionGraphsCollection::StateTransitionGraphsCollection ( const StateTransitionGraphInfoRef  state_transition_graph_info,
const ParameterConstRef  parameters 
)

Constructor.

Parameters
state_transition_graph_infois the info to be associated with the graph
parametersis the set of input parameters

Definition at line 362 of file state_transition_graph.cpp.

References ~StateTransitionGraphsCollection().

Here is the call graph for this function:

◆ ~StateTransitionGraphsCollection()

StateTransitionGraphsCollection::~StateTransitionGraphsCollection ( )
overridedefault

Destructor.

Referenced by StateTransitionGraphsCollection().

Here is the caller graph for this function:

Member Function Documentation

◆ AddEdge()

EdgeDescriptor StateTransitionGraphsCollection::AddEdge ( const vertex  source,
const vertex  target,
const int  selector,
const TransitionInfoRef  info 
)
inline

Add an edge with information associated.

Parameters
sourceis the source of the edge
targetis the target of the edge
selectoris the selector to be added
infois the information to be associated
Returns
the created edge

Definition at line 318 of file state_transition_graph.hpp.

References THROW_ASSERT.


The documentation for this class was generated from the following files:

Generated on Mon Feb 12 2024 13:04:03 for PandA-2024.02 by doxygen 1.8.13