mcrl2::pbes_system::detail::lts2pbes_lts Class Reference

#include <lts2pbes_lts.h>

Classes
struct	edge

Public Types
using	state_type = std::size_t
using	label_type = std::size_t
using	edge_list = std::vector< edge >

Public Member Functions
	lts2pbes_lts (const lts::lts_lts_t &ltsspec)
const edge_list &	edges (state_type s) const
const std::vector< lps::multi_action > &	action_labels () const
std::size_t	state_count () const
const std::map< state_type, edge_list > &	state_map () const

Protected Attributes
std::map< state_type, edge_list >	m_state_map
std::vector< lps::multi_action >	m_action_labels
std::size_t	m_state_count
edge_list	m_empty_edge_list

Detailed Description

Definition at line 36 of file lts2pbes_lts.h.

Member Typedef Documentation

edge_list

using mcrl2::pbes_system::detail::lts2pbes_lts::edge_list = std::vector<edge>

Definition at line 55 of file lts2pbes_lts.h.

label_type

using mcrl2::pbes_system::detail::lts2pbes_lts::label_type = std::size_t

Definition at line 40 of file lts2pbes_lts.h.

state_type

using mcrl2::pbes_system::detail::lts2pbes_lts::state_type = std::size_t

Definition at line 39 of file lts2pbes_lts.h.

Constructor & Destructor Documentation

lts2pbes_lts()

mcrl2::pbes_system::detail::lts2pbes_lts::lts2pbes_lts ( const lts::lts_lts_t &  ltsspec )

inline

Definition at line 64 of file lts2pbes_lts.h.

Member Function Documentation

action_labels()

const std::vector< lps::multi_action > & mcrl2::pbes_system::detail::lts2pbes_lts::action_labels ( ) const

inline

Definition at line 97 of file lts2pbes_lts.h.

edges()

const edge_list & mcrl2::pbes_system::detail::lts2pbes_lts::edges ( state_type  s ) const

inline

Definition at line 84 of file lts2pbes_lts.h.

state_count()

std::size_t mcrl2::pbes_system::detail::lts2pbes_lts::state_count ( ) const

inline

Definition at line 102 of file lts2pbes_lts.h.

state_map()

const std::map< state_type, edge_list > & mcrl2::pbes_system::detail::lts2pbes_lts::state_map ( ) const

inline

Definition at line 107 of file lts2pbes_lts.h.

Member Data Documentation

m_action_labels

std::vector<lps::multi_action> mcrl2::pbes_system::detail::lts2pbes_lts::m_action_labels

protected

Definition at line 59 of file lts2pbes_lts.h.

m_empty_edge_list

edge_list mcrl2::pbes_system::detail::lts2pbes_lts::m_empty_edge_list

protected

Definition at line 61 of file lts2pbes_lts.h.

m_state_count

std::size_t mcrl2::pbes_system::detail::lts2pbes_lts::m_state_count

protected

Definition at line 60 of file lts2pbes_lts.h.

m_state_map

std::map<state_type, edge_list> mcrl2::pbes_system::detail::lts2pbes_lts::m_state_map

protected

Definition at line 58 of file lts2pbes_lts.h.

---

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

• pbes/include/mcrl2/pbes/detail/lts2pbes_lts.h