sml_transition_graph::SmlTransitionGraph Class Reference

#include <sml_transition_graph.h>

Inheritance diagram for sml_transition_graph::SmlTransitionGraph:

Public Types
using	edge_t = std::pair< std::string, std::string >

Public Member Functions
std::vector< vertex_descriptor >	find_path (const vertex_descriptor &start_vertex, const vertex_descriptor &goal_vertex)
std::vector< vertex_descriptor >	find_predecessors (const vertex_descriptor &start_vertex)
vertex_descriptor	get_vertex_index (const std::string &vertex_name) const
std::string	get_vertex_name (const vertex_descriptor &vertex_index) const
template<class SM >
	SmlTransitionGraph (const SM &sm)
void	write_all_reachable_states (const vertex_descriptor &start_vertex, std::ostream &out=std::cout)
void	write_graphiz (std::ostream &out=std::cout) const
void	write_path_between_two_states (const vertex_descriptor &start_vertex, const vertex_descriptor &goal_vertex, std::ostream &out=std::cout)

Public Attributes
const vertex_descriptor	NIL = std::numeric_limits<vertex_descriptor>::max()

Private Member Functions
template<class T >
void	construct_edge (std::vector< edge_t > &edges) noexcept
template<class SM >
std::vector< edge_t >	construct_edges (const SM &) noexcept
template<template< class... > class T, class... Ts>
void	construct_edges_impl (const T< Ts... > &, std::vector< edge_t > &edges) noexcept
template<class SM >
void	construct_graph (const SM &sm) noexcept
void	write_graphviz_path (std::ostream &out, const std::vector< vertex_descriptor > &path)
void	write_graphviz_predecessors (std::ostream &out, const std::vector< vertex_descriptor > &predecessors)

Private Attributes
std::unordered_map< std::string, vertex_descriptor >	vertex_name_to_descriptor_map_

Detailed Description

Definition at line 54 of file sml_transition_graph.h.

Member Typedef Documentation

edge_t

using sml_transition_graph::SmlTransitionGraph::edge_t = std::pair<std::string, std::string>

Definition at line 56 of file sml_transition_graph.h.

Constructor & Destructor Documentation

SmlTransitionGraph()

template<class SM >

sml_transition_graph::SmlTransitionGraph::SmlTransitionGraph ( const SM &  sm )

inline

Definition at line 60 of file sml_transition_graph.h.

Member Function Documentation

construct_edge()

template<class T >

void sml_transition_graph::SmlTransitionGraph::construct_edge ( std::vector< edge_t > &  edges )

inlineprivatenoexcept

Definition at line 118 of file sml_transition_graph.h.

construct_edges()

template<class SM >

std::vector<edge_t> sml_transition_graph::SmlTransitionGraph::construct_edges ( const SM &  )

inlineprivatenoexcept

Definition at line 137 of file sml_transition_graph.h.

construct_edges_impl()

template<template< class... > class T, class... Ts>

void sml_transition_graph::SmlTransitionGraph::construct_edges_impl ( const T< Ts... > &  , std::vector< edge_t > &  edges  )

inlineprivatenoexcept

Definition at line 130 of file sml_transition_graph.h.

construct_graph()

template<class SM >

void sml_transition_graph::SmlTransitionGraph::construct_graph ( const SM &  sm )

inlineprivatenoexcept

Definition at line 144 of file sml_transition_graph.h.

find_path()

std::vector<vertex_descriptor> sml_transition_graph::SmlTransitionGraph::find_path ( const vertex_descriptor &  start_vertex, const vertex_descriptor &  goal_vertex  )

inline

Definition at line 83 of file sml_transition_graph.h.

find_predecessors()

std::vector<vertex_descriptor> sml_transition_graph::SmlTransitionGraph::find_predecessors ( const vertex_descriptor &  start_vertex )

inline

Definition at line 98 of file sml_transition_graph.h.

get_vertex_index()

vertex_descriptor sml_transition_graph::SmlTransitionGraph::get_vertex_index ( const std::string &  vertex_name ) const

inline

Definition at line 109 of file sml_transition_graph.h.

get_vertex_name()

std::string sml_transition_graph::SmlTransitionGraph::get_vertex_name ( const vertex_descriptor &  vertex_index ) const

inline

Definition at line 112 of file sml_transition_graph.h.

write_all_reachable_states()

void sml_transition_graph::SmlTransitionGraph::write_all_reachable_states ( const vertex_descriptor &  start_vertex, std::ostream &  out = std::cout  )

inline

Definition at line 68 of file sml_transition_graph.h.

write_graphiz()

void sml_transition_graph::SmlTransitionGraph::write_graphiz ( std::ostream &  out = std::cout ) const

inline

Definition at line 63 of file sml_transition_graph.h.

write_graphviz_path()

void sml_transition_graph::SmlTransitionGraph::write_graphviz_path ( std::ostream &  out, const std::vector< vertex_descriptor > &  path  )

inlineprivate

Definition at line 177 of file sml_transition_graph.h.

write_graphviz_predecessors()

void sml_transition_graph::SmlTransitionGraph::write_graphviz_predecessors ( std::ostream &  out, const std::vector< vertex_descriptor > &  predecessors  )

inlineprivate

Definition at line 159 of file sml_transition_graph.h.

write_path_between_two_states()

void sml_transition_graph::SmlTransitionGraph::write_path_between_two_states ( const vertex_descriptor &  start_vertex, const vertex_descriptor &  goal_vertex, std::ostream &  out = std::cout  )

inline

Definition at line 76 of file sml_transition_graph.h.

Member Data Documentation

NIL

const vertex_descriptor sml_transition_graph::SmlTransitionGraph::NIL = std::numeric_limits<vertex_descriptor>::max()

Definition at line 57 of file sml_transition_graph.h.

vertex_name_to_descriptor_map_

std::unordered_map<std::string, vertex_descriptor> sml_transition_graph::SmlTransitionGraph::vertex_name_to_descriptor_map_

private

Definition at line 197 of file sml_transition_graph.h.

---

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

• sml_transition_graph.h