mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE > Class Template Reference

#include <liblts_scc.h>

Public Member Functions
	indexed_sorted_vector_for_tau_transitions (const LTS_TYPE &aut, bool outgoing)
const std::vector< state_type > &	get_transitions () const
size_t	lowerbound (const state_type s) const
size_t	upperbound (const state_type s) const
void	clear ()

Protected Types
using	state_type = std::size_t
using	label_type = std::size_t

Protected Attributes
std::vector< state_type >	m_states_with_outgoing_or_incoming_tau_transition
std::vector< size_t >	m_indices

Detailed Description

template<class LTS_TYPE>
class mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >

Definition at line 32 of file liblts_scc.h.

Member Typedef Documentation

label_type

template<class LTS_TYPE >

using mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::label_type = std::size_t

protected

Definition at line 36 of file liblts_scc.h.

state_type

template<class LTS_TYPE >

using mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::state_type = std::size_t

protected

Definition at line 35 of file liblts_scc.h.

Constructor & Destructor Documentation

indexed_sorted_vector_for_tau_transitions()

template<class LTS_TYPE >

mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::indexed_sorted_vector_for_tau_transitions ( const LTS_TYPE &  aut, bool  outgoing  )

inline

Definition at line 43 of file liblts_scc.h.

Member Function Documentation

clear()

template<class LTS_TYPE >

void mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::clear ( )

inline

Definition at line 115 of file liblts_scc.h.

get_transitions()

template<class LTS_TYPE >

const std::vector< state_type > & mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::get_transitions ( ) const

inline

Definition at line 95 of file liblts_scc.h.

lowerbound()

template<class LTS_TYPE >

size_t mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::lowerbound ( const state_type  s ) const

inline

Definition at line 101 of file liblts_scc.h.

upperbound()

template<class LTS_TYPE >

size_t mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::upperbound ( const state_type  s ) const

inline

Definition at line 108 of file liblts_scc.h.

Member Data Documentation

m_indices

template<class LTS_TYPE >

std::vector<size_t> mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::m_indices

protected

Definition at line 39 of file liblts_scc.h.

m_states_with_outgoing_or_incoming_tau_transition

template<class LTS_TYPE >

std::vector<state_type> mcrl2::lts::detail::indexed_sorted_vector_for_tau_transitions< LTS_TYPE >::m_states_with_outgoing_or_incoming_tau_transition

protected

Definition at line 38 of file liblts_scc.h.

---

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

• lts/include/mcrl2/lts/detail/liblts_scc.h