mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT > Class Template Reference

#include <lts_utilities.h>

Public Member Functions
	indexed_sorted_vector_for_transitions (const std::vector< transition > &transitions, state_type num_states, bool outgoing)
const std::vector< CONTENT > &	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
using	label_state_pair = std::pair< label_type, state_type >

Protected Attributes
std::vector< CONTENT >	m_states_with_outgoing_or_incoming_transition
std::vector< size_t >	m_indices

Detailed Description

template<class CONTENT>
class mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >

Definition at line 412 of file lts_utilities.h.

Member Typedef Documentation

label_state_pair

template<class CONTENT >

using mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::label_state_pair = std::pair<label_type, state_type>

protected

Definition at line 417 of file lts_utilities.h.

label_type

template<class CONTENT >

using mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::label_type = std::size_t

protected

Definition at line 416 of file lts_utilities.h.

state_type

template<class CONTENT >

using mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::state_type = std::size_t

protected

Definition at line 415 of file lts_utilities.h.

Constructor & Destructor Documentation

indexed_sorted_vector_for_transitions()

template<class CONTENT >

mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::indexed_sorted_vector_for_transitions ( const std::vector< transition > &  transitions, state_type  num_states, bool  outgoing  )

inline

Definition at line 424 of file lts_utilities.h.

Member Function Documentation

clear()

template<class CONTENT >

void mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::clear ( )

inline

Definition at line 490 of file lts_utilities.h.

get_transitions()

template<class CONTENT >

const std::vector< CONTENT > & mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::get_transitions ( ) const

inline

Definition at line 470 of file lts_utilities.h.

lowerbound()

template<class CONTENT >

size_t mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::lowerbound ( const state_type  s ) const

inline

Definition at line 476 of file lts_utilities.h.

upperbound()

template<class CONTENT >

size_t mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::upperbound ( const state_type  s ) const

inline

Definition at line 483 of file lts_utilities.h.

Member Data Documentation

m_indices

template<class CONTENT >

std::vector<size_t> mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::m_indices

protected

Definition at line 420 of file lts_utilities.h.

m_states_with_outgoing_or_incoming_transition

template<class CONTENT >

std::vector< CONTENT > mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::m_states_with_outgoing_or_incoming_transition

protected

Definition at line 419 of file lts_utilities.h.

---

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

• lts/include/mcrl2/lts/lts_utilities.h