mcrl2::lts::detail::indexed_sorted_vector_for_transitions =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/lts/lts_utilities.h .. cpp:class:: mcrl2::lts::detail::indexed_sorted_vector_for_transitions Protected types ------------------------------------------------------------------------------- .. cpp:type:: mcrl2::lts::detail::indexed_sorted_vector_for_transitions::label_state_pair typedef for :cpp:type:`std::pair\< label_type, state_type >` .. cpp:type:: mcrl2::lts::detail::indexed_sorted_vector_for_transitions::label_type typedef for :cpp:type:`std::size_t` .. cpp:type:: mcrl2::lts::detail::indexed_sorted_vector_for_transitions::state_type typedef for :cpp:type:`std::size_t` Protected attributes ------------------------------------------------------------------------------- .. cpp:member:: std::vector< size_t > mcrl2::lts::detail::indexed_sorted_vector_for_transitions::m_indices .. cpp:member:: std::vector< CONTENT > mcrl2::lts::detail::indexed_sorted_vector_for_transitions::m_states_with_outgoing_or_incoming_transition Public member functions ------------------------------------------------------------------------------- .. cpp:function:: void clear() .. cpp:function:: const std::vector& get_transitions() const .. cpp:function:: indexed_sorted_vector_for_transitions(const std::vector< transition > &transitions, state_type num_states, bool outgoing) .. cpp:function:: size_t lowerbound(const state_type s) const .. cpp:function:: size_t upperbound(const state_type s) const