mCRL2
Loading...
Searching...
No Matches
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_typelabel_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 81 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 86 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 85 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 84 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 93 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 159 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 139 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 145 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 152 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 89 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 88 of file lts_utilities.h.


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