mcrl2::lts::detail::indexed_sorted_vector_for_transitions

Include file:

#include "mcrl2/lts/lts_utilities.h

class mcrl2::lts::detail::indexed_sorted_vector_for_transitions

Protected types

type mcrl2::lts::detail::indexed_sorted_vector_for_transitions::label_state_pair

typedef for std::pair< label_type, state_type >

type mcrl2::lts::detail::indexed_sorted_vector_for_transitions::label_type

typedef for std::size_t

type mcrl2::lts::detail::indexed_sorted_vector_for_transitions::state_type

typedef for std::size_t

Protected attributes

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

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

Public member functions

void clear()

const std::vector<CONTENT> &get_transitions() const

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

size_t lowerbound(const state_type s) const

size_t upperbound(const state_type s) const