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
typedef std::size_t	state_type
typedef std::size_t	label_type
typedef std::pair< label_type, state_type >	label_state_pair

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 595 of file lts_utilities.h.

Member Typedef Documentation

label_state_pair

template<class CONTENT >

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

protected

Definition at line 600 of file lts_utilities.h.

label_type

template<class CONTENT >

typedef std::size_t mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::label_type

protected

Definition at line 599 of file lts_utilities.h.

state_type

template<class CONTENT >

typedef std::size_t mcrl2::lts::detail::indexed_sorted_vector_for_transitions< CONTENT >::state_type

protected

Definition at line 598 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 607 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 673 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 653 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 659 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 666 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 603 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 602 of file lts_utilities.h.

---

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

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